publicações selecionadas
-
artigo académico
- Simulation and formal verification of real time systems : A case study. ICINCO 2007 - 4th International Conference on Informatics in Control, Automation and Robotics, Proceedings. 2007
-
artigo de conferência