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

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Gheorghe, M.
  • Rozenberg, G.
  • Salomaa, A.
  • Zandron, C.
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
Dates:
  • Published: 1 January 2018
  • Published (online): 31 December 2017
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: https://doi.org/10.1007/978-3-319-73359-3_12
Status: Published
Publisher: Springer International Publishing
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: 10.1007/978-3-319-73359-3_12
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)