Back to Search
Start Over
Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior.
- Source :
- ACM SIGBED Review; Jun2011, Vol. 8 Issue 2, p7-10, 4p
- Publication Year :
- 2011
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