Navegação Ciências Exatas e da Terra por Autor "Michelon, Leonardo"
Resultados 1-1 de 1
-
Formal specification and verification of real-time systems usinggraph grammars
Michelon, Leonardo; Costa, Simone Andre da; Ribeiro, Leila (2007) [Artigo de periódico]The importance of real-time systems has enormously increased in the last decade. Application areas that typically need real-time models include railroad systems, intelligent vehicle highway systems, avionics, multimedia ...