Kernel P Systems Modelling, Testing and Verification - Sorting Case Study (Q2975916): Difference between revisions

@@ Property / author @@
-Rodica Ceterchi
@@ Property / author: Rodica Ceterchi / rank @@
-Normal rank
@@ Property / author @@
+Rodica Ceterchi
@@ Property / author: Rodica Ceterchi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-54072-6_15
+Normal rank
@@ Property / OpenAlex ID @@
+W2588402377
@@ Property / OpenAlex ID: W2588402377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4437089
@@ Property / cites work: Q4437089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955252
@@ Property / cites work: Q4955252 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal cover-automata for finite languages
@@ Property / cites work: Minimal cover-automata for finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413824
@@ Property / cites work: Q4413824 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating the Bitonic Sort Using P Systems
@@ Property / cites work: Simulating the Bitonic Sort Using P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601854
@@ Property / cites work: Q3601854 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+A formalization of membrane systems with dynamically evolving structures
+Normal rank
@@ Property / cites work @@
+A Formal Framework for Static (Tissue) P Systems
@@ Property / cites work: A Formal Framework for Static (Tissue) P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+On Testing P Systems
@@ Property / cites work: On Testing P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+-Col problem modelling using simple kernel P systems
+Normal rank
@@ Property / cites work @@
+RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
+Normal rank
@@ Property / cites work @@
+An Integrated Model Checking Toolset for Kernel P Systems
+Normal rank
@@ Property / cites work @@
+Bounded sequence testing from deterministic finite state machines
+Normal rank
@@ Property / cites work @@
+Finite state based testing of P systems
@@ Property / cites work: Finite state based testing of P systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418606
@@ Property / cites work: Q4418606 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5201252
@@ Property / cites work: Q5201252 / rank @@
+Normal rank