Automatic Verification of Linear Controller Software
| Title | Automatic Verification of Linear Controller Software |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Pajic, Miroslav, Park, Junkil, Lee, Insup, Pappas, George J., Sokolsky, Oleg |
| Conference Name | Proceedings of the 12th International Conference on Embedded Software |
| Publisher | IEEE Press |
| Conference Location | Amsterdam, The Netherlands |
| ISBN Number | 978-1-4673-8079-9 |
| Keywords | 1505701 |
| URL | http://dl.acm.org/citation.cfm?id=2830865.2830889 |
| Citation Key | pajic_emsoft15 |