Navegação Ciências Exatas e da Terra por Assunto "Gramatica : Grafos"
Resultados 1-3 de 3
-
Complexity analysis of reactive graph grammars
(2000) [Artigo de periódico]The aim of this paper is to present a way to calculate a complexity measurement of graph grammar specifications of reactive systems. The basic operation that describe the behavior of a graph grammar is a rule application. ... -
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 ... -
Introdução a métodos formais : especificação, semântica e verificação de sistemas concorrentes
(2000) [Artigo de periódico]Este tutorial apresenta uma visão geral de metodos formais para a especificação, semântica e verificação de sistemas concorrentes. Um mêtodo de especificação for- mal dá uma descrição precisa de um sistema em uma notação ...