Eurico Augusto Rodrigues de Seabra
AuthID: R-000-4QR
91
TITLE: Simulation and formal verification of real time systems: A case study
AUTHORS: Eurico Seabra; José Machado; Jaime Ferreira da Silva; Filomena O Soares; Celina P Leão;
PUBLISHED: 2007, SOURCE: 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
AUTHORS: Eurico Seabra; José Machado; Jaime Ferreira da Silva; Filomena O Soares; Celina P Leão;
PUBLISHED: 2007, SOURCE: 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
INDEXED IN: 
DBLP
DBLP