autores
- José Francisco Creissac Freitas de Campos
- Manuel Resende Sousa
- Campos, J.C.
- Alves, M.
- Harrison, M.D.
- Campos, J.
- Aksoy-Aksel, A.
Formal verification of safety-critical user interfaces: A space system case study
Artigo de Conferência
- Visão geral
- Informação adicional documento
- Ver Todos