Eurico Augusto Rodrigues de Seabra
AuthID: R-000-4QR
91
TÃTULO: Simulation and formal verification of real time systems: A case study
AUTORES: Eurico Seabra; José Machado; Jaime Ferreira da Silva; Filomena O Soares; Celina P Leão;
PUBLICAÇÃO: 2007, FONTE: 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
AUTORES: Eurico Seabra; José Machado; Jaime Ferreira da Silva; Filomena O Soares; Celina P Leão;
PUBLICAÇÃO: 2007, FONTE: 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
INDEXADO EM: 
DBLP
DBLP