- Record: found
- Abstract: not found
- Article: not found
Design of embedded systems: formal models, validation, and synthesis
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 references79
- 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
Abstract interpretation
Patrick Cousot, Radhia Cousot (1977)
- Record: found
- Abstract: not found
- Article: not found
Statecharts: a visual formalism for complex systems
David Harel (1987)