Testing non-deterministic stream X-machine models and P systems
From MaRDI portal
Recommendations
- Testing non-deterministic stream X-machine models and P systems
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- scientific article; zbMATH DE number 2050930
- Complete deterministic stream X-machine testing
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
Cited in
(14)- On the Minimality of Stream X-machines
- Testing based on identifiable P systems using cover automata and X-machines
- Testing identifiable kernel P systems using an X-machine approach
- scientific article; zbMATH DE number 1836407 (Why is no real title available?)
- scientific article; zbMATH DE number 1900817 (Why is no real title available?)
- Testing non-deterministic stream X-machine models and P systems
- Specification, testing and verification of unconventional computations using generalizedX-machines
- Checking experiments for stream X-machines
- Complete deterministic stream X-machine testing
- Testing conditions for communicating stream \(X\)-machine systems
- Finite state based testing of P systems
- Streaming Property Testing of Visibly Pushdown Languages *
- A model learning based testing approach for spiking neural P systems
- scientific article; zbMATH DE number 2182430 (Why is no real title available?)
This page was built for publication: Testing non-deterministic stream X-machine models and P systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3005247)
