Modelling and validating an engineering application in kernel P systems

DOI10.1007/978-3-319-73359-3_12MaRDI QIDQ1749168zbMATH OpenOpenAlexFDO

Authors Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate

Publication date 16 May 2018

Full work available at URL http://eprints.whiterose.ac.uk/129141/1/cmc18_paper7_lncs.pdf

zbMATH Keywords

verificationtestingmembrane computingbicyclecruise controlelectric bikekernel P-systems

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Kernel P systems: from modelling to verification and testing
• Kernel P systems modelling, testing and verification -- sorting case study
• Model Checking Kernel P Systems
• An integrated model checking toolset for kernel P systems
• A model learning based testing approach for kernel P systems

Cited in

(5)

• Kernel P systems modelling, testing and verification -- sorting case study
• Spiking neural P systems: matrix representation and formal verification
• Kernel P systems: from modelling to verification and testing
• Model Checking Kernel P Systems
• An illustration of verification and validation in the modelling phase of KBS development

This page was built for publication: Modelling and validating an engineering application in kernel P systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1749168)