BDBComp
Parceria:
SBC
Modelando e Verificando Arquiteturas de Sistemas de Tempo Real: O Projeto COTRE

J-M. FarinesB. BerthomieuP-O. RibetF. VernadatJ-P. BodeveixM. FilaliP. MichelP. FarailP. GauffiletP. DissauxJ-L. Lambert

This paper describes efforts in order to provide a methodology and to build an associated language and environment for modeling and verifying real time systems. This work has been realized in the context of the COTRE Project which aims aplications in avionics domain and contributes to approximate concepts issued from architecture description language (ADL) and formal description techniques (FDT).

http://www.lbd.dcc.ufmg.br:8080/colecoes/wtr/2004/001.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD