Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
Attributed to:
Programming from Control Laws
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-47169-3_13
Publication URI: http://dx.doi.org/10.1007/978-3-319-47169-3_13
Type: Book Chapter
Book Title: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (2016)
Page Reference: 171-186