Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.

Details

Language :

English

ISSN :

15513688

Volume :

8

Issue :

2

Database :

Complementary Index

Journal :

ACM SIGBED Review

Publication Type :

Academic Journal

Accession number :

75191409

Full Text :

https://doi.org/10.1145/2000367.2000368