publicações selecionadas Controle da taxa de em um sistema de manutencao Towards inducing a simulation model description
theses/dissertations advising Ambiente virtual distribuído - auxílio ao desenvolvimento de táticas da aviação de combate. Guia para padronização do desenvolvimento de software crítico para aplicações espaciais. Guia para Padronizacao do Desenvolvimento de Software Critico para Aplicacao Espaciais SEAxM: Simulador de Embate Aeronave versus Sistema de Defesa Aereo Statecharts: their use in specifying and dealing with performance models.
