External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Simulation and formal verification of real time systems: A case study

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.

Authors

Eurico Seabra

This author has not been identified. Look up 'Eurico Seabra' in Google

José Machado

This author has not been identified. Look up 'José Machado' in Google

Jaime Ferreira da Silva

This author has not been identified. Look up 'Jaime Ferreira da Silva' in Google

Filomena O. Soares

This author has not been identified. Look up 'Filomena O. Soares' in Google

Celina P. Leão

This author has not been identified. Look up 'Celina P. Leão' in Google
runs on