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
Automação da STPA Utilizando Processamento de Linguagem Natural e Aprendizado de M...
Design de sistemas ciberfísicos críticos endereçando conjuntamente preocupações de...
Especificação formal de requisitos de sistemas críticos baseada na linguagem spect...