![](/img/cover-not-exists.png)
[IEEE 2015 IEEE Real-Time Systems Symposium (RTSS) - San Antonio, Texas (2015.12.1-2015.12.4)] 2015 IEEE Real-Time Systems Symposium - Analyzing Real Time Linear Control Systems Using Software Verification
Duggirala, Parasara Sridhar, Viswanathan, MaheshYear:
2015
Language:
english
DOI:
10.1109/RTSS.2015.28
File:
PDF, 490 KB
english, 2015