Eurico Seabra, José Machado, Jaime Ferreira da Silva, Filomena O. Soares, Celina P. Leão. Simulation and formal verification of real time systems: A case study. In Janan Zaytoon, Jean-Louis Ferrier, Juan Andrade-Cetto, Joaquim Filipe, editors, ICINCO 2007, Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, Signal Processing, Systems Modeling and Control, Angers, France, May 9-12, 2007. pages 308-313, INSTICC Press, 2007.
@inproceedings{SeabraMSSL07,
title = {Simulation and formal verification of real time systems: A case study},
author = {Eurico Seabra and José Machado and Jaime Ferreira da Silva and Filomena O. Soares and Celina P. Leão},
year = {2007},
tags = {case study},
researchr = {https://researchr.org/publication/SeabraMSSL07},
cites = {0},
citedby = {0},
pages = {308-313},
booktitle = {ICINCO 2007, Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics, Signal Processing, Systems Modeling and Control, Angers, France, May 9-12, 2007},
editor = {Janan Zaytoon and Jean-Louis Ferrier and Juan Andrade-Cetto and Joaquim Filipe},
publisher = {INSTICC Press},
isbn = {978-972-8865-84-9},
}