Back to Search Start Over

Analyzing Real Time Linear Control Systems Using Software Verification.

Authors :
Duggirala, Parasara Sridhar
Viswanathan, Mahesh
Source :
2015 IEEE Real-Time Systems Symposium; 2015, p216-226, 11p
Publication Year :
2015

Details

Language :
English
ISBNs :
9781467395076
Database :
Complementary Index
Journal :
2015 IEEE Real-Time Systems Symposium
Publication Type :
Conference
Accession number :
112881301
Full Text :
https://doi.org/10.1109/RTSS.2015.28
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details