Modelling and validating an engineering application in kernel P systems

DOI10.1007/978-3-319-73359-3_12zbMath1497.68194OpenAlexW2777244235MaRDI QIDQ1749168

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

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)

Related Items (1)

Spiking neural P systems: matrix representation and formal verification

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