Opening book details…
About this Engineering article
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 by Eddeland, Johan; Cepeda, Javier Gil; Fransen, Rick; Miremadi, Sajed; Fabian, Martin; Åkesson, Knut is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Eddeland, Johan; Cepeda, Javier Gil; Fransen, Rick; Miremadi, Sajed; Fabian, Martin; Åkesson, Knut
- Publisher
- Elsevier ; IFAC Secretariat; Kidlington: Elsevier Ltd; Elsevier BV (ISSN 2405-8963)
- Published
- 2017
- Language
- EN
- Field
- Engineering (Physical Sciences)