Sign in
Kernel P Systems Modelling, Testing and Verification - Sorting Case Study.
Marian Gheorghe
Rodica Ceterchi
Florentin Ipate
Savas Konur
Published in:
Int. Conf. on Membrane Computing (2016)
Keyphrases
</>
case study
information systems
support vector
learning systems
management system
symbolic execution
neural network
expert systems
distributed systems
intelligent systems
business processes
retrieval systems
lessons learned
formal methods
test generation
asynchronous circuits