- Record: found
- Abstract: not found
- Article: not found
Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
Read this article at
ScienceOpenPublisher
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 references70
- 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)