Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicolescu, Hanifa Boucheneb
Semantics for Model-Based Validation of Continuous/Discrete Systems
DATE, 2008.
@inproceedings{DATE-2008-GheorgheBNB, author = "Luiza Gheorghe and Faouzi Bouchhima and Gabriela Nicolescu and Hanifa Boucheneb", booktitle = "{Proceedings of the 12th Conference on Design, Automation and Test in Europe}", doi = "10.1109/DATE.2008.4484730", isbn = "978-3-9810801-3-1", pages = "498--503", publisher = "{IEEE}", title = "{Semantics for Model-Based Validation of Continuous/Discrete Systems}", year = 2008, }