Cyber-Physical Systems Engineering: An Introduction
Attributed to:
A Calculus for Software Engineering of Mobile and Autonomous Robots
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-03424-5_27
Publication URI: http://dx.doi.org/10.1007/978-3-030-03424-5_27
Type: Book Chapter
Book Title: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (2018)
Page Reference: 407-410
ISSN: 0165-0009