Navegação por Assunto "Real-time computing"
Resultados 1-1 de 1
-
Formal specification and verification of real-time systems usinggraph grammars
(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 ...