- Record: found
- Abstract: not found
- Article: not found
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references75
- Record: found
- Abstract: not found
- Conference Proceedings: not found
The temporal logic of programs
Amir Pnueli (1977)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Cyber Physical Systems: Design Challenges
Edward A. Lee (2008)
- Record: found
- Abstract: not found
- Article: not found
The control of discrete event systems
P.J.G. Ramadge, W.M. Wonham (1989)