Especificação e prototipação de um ambiente para representação canônica (RC) de re...
Suporte ao Sistema AcMus: um Ambiente para Medição e Simulação da Acústica de Salas
Complementação com especificações informais de especificações formais geradas auto...
Especificação e validação de sistemas de tempo real com o uso de múltiplas visões
Modelagem e simulação de sistemas exascale usando abordagem baseada em interfaces ...
Modelagem e simulação de sistemas exascale usando abordagem baseada em interfaces ...