Rigorous Simulation-Based Analysis of Linear Hybrid Systems
| Title | Rigorous Simulation-Based Analysis of Linear Hybrid Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2017 |
| Authors | Stanley Bak, Parasara Sridhar Duggirala |
| Conference Name | Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedin |
| Keywords | 1739936 |
| URL | https://doi.org/10.1007/978-3-662-54577-5_32 |
| DOI | 10.1007/978-3-662-54577-5_32 |
| Citation Key | DBLP:conf/tacas/BakD17 |