Efficient Exploration of Safety-Relevant Systems Through a Link Between Analysis and Simulation

Author(s):
Moomen Chaari, Wolfgang Ecker, Thomas Kruse, Cristiano Novello, and Bogdan-Andrei Tabacaru
Location:
Europe
Year:
2016
Type:
Paper
Format:
pdf