Semantics for Model-Based Validation of Continuous/Discrete Systems.

Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb

Browse the full DATE paper archive.