membro de https://brcris.ibict.br/individual/comm_13420c68-9ae8-4762-8568-9aadf27b3325 https://brcris.ibict.br/individual/comm_484b40f0-b3f8-4a11-8be7-457eed856e00
produzido em https://brcris.ibict.br/individual/cour_3fa65cb8-f249-4fce-b405-c550b086305e Graduate Program in Computer Science Programa de Pós-Graduação
palavras-chave Ferram.p/ Model.e Simulação de Sist.de Tempo Real Metamodelagem Metodologias para Modelagem de Sist.de Tempo Real Verificação de Consistência.