Modelling and validating an engineering application in kernel P systems

Lefticaru, R., Bakir, M.E., Konur, S. et al. (2 more authors) (2018) Modelling and validating an engineering application in kernel P systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A. and Zandron, C., (eds.) Membrane Computing. CMC 2017. 18th International Conference, CMC 2017, 25-28 Jul 2017, Bradford, UK. Lecture Notes in Computer Science, 10725 . Springer International Publishing , pp. 183-195. ISBN 9783319733586



Copyright, Publisher and Additional Information: © 2018 Springer International Publishing. This is an author produced version of a paper subsequently published in Lecture Notes in Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Membrane computing; Kernel P systems; Cruise control; Electric bike; Bicycle; Verification; Testing
  • Published (online): 31 December 2017
  • Published: 1 January 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 29 Mar 2018 15:26
Last Modified: 29 Mar 2018 15:27
Published Version:
Status: Published
Publisher: Springer International Publishing
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number:

Share / Export