Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata * *This work has been performed with support from the Swedish Governmental Agency for Innovation Systems (VINNOVA) under project TESTRON 2015-04893
Eddeland, Johan, Cepeda, Javier Gil, Fransen, Rick, Miremadi, Sajed, Fabian, Martin, Åkesson, KnutVolume:
50
Language:
english
Journal:
IFAC-PapersOnLine
DOI:
10.1016/j.ifacol.2017.08.1296
Date:
July, 2017
File:
PDF, 501 KB
english, 2017