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

@@ 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