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

Download