Jaime Ferreira da Silva
According to our database1,
Jaime Ferreira da Silva
authored at least 1 paper
in 2007.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2007
Simulation and formal verification of real time systems: A case study.
Proceedings of the ICINCO 2007, 2007