Navegação Ciências Exatas e da Terra por Autor "Costa, Simone Andre da"

Resultados 1-2 de 2

    • Composicionalidade de primitivas : uma abordagem categorial 

      Costa, Simone Andre da; Machado, Julio Henrique Araujo Pereira; Menezes, Paulo Fernando Blauth (2002) [Artigo de periódico]
      Autômatos não-seqüenciais são apresentados como modelo semântico para a interpretação formal do conceito de primitiva em sistemas operacionais sob a ótica da Teoria das Categorias, Este modelo constitui originalmente um ...

    • 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 ...