Especificação e prototipação de um ambiente para representação canônica (RC) de re...
Especificação e validação de sistemas de tempo real com o uso de múltiplas visões
Design de sistemas ciberfísicos críticos endereçando conjuntamente preocupações de...
Automação da STPA Utilizando Processamento de Linguagem Natural e Aprendizado de M...
Especificação formal de requisitos de sistemas críticos baseada na linguagem spect...