[IEEE 2015 International Conference on Embedded Software (EMSOFT) - Amsterdam, Netherlands (2015.10.4-2015.10.9)] 2015 International Conference on Embedded Software (EMSOFT) - Forward invariant cuts to simplify proofs of safety
Aréchiga, Nikos, Kapinski, James, Deshmukh, Jyotirmoy V., Platzer, André, Krogh, BruceYear:
2015
Language:
english
DOI:
10.1109/emsoft.2015.7318278
File:
PDF, 836 KB
english, 2015