Jaime Ferreira da Silva

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

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. ICINCO-SPSMC (2007)