Scalable Verification of Linear Controller Software
Title | Scalable Verification of Linear Controller Software |
Publication Type | Book Chapter |
Year of Publication | 2016 |
Authors | Park, Junkil, Pajic, Miroslav, Lee, Insup, Sokolsky, Oleg |
Book Title | Tools and Algorithms for the Construction and Analysis of Systems (TACAS) |
Pagination | 662–679 |
Publisher | Springer |
Keywords | 1505701 |
Citation Key | junkil_tacas16 |