publicações selecionadas
- Processus et outils qualifiables de développement de systèmes critiques certifiés en aéronautique à base de génération automatique de code
- Étude des protocoles paramétrés de bus - Validation par transformations synchrone-asynchrone
- Uma Abordagem para Modelagem e Verificação de Protocolos Síncronos de Barramentos de Comunicação.