Conferencias
1 Ficheiro
- Conferencia 1920 Kb
Conferencia: A Mathematical Framework for the Verification of Air traffic Separation Assurance Systems
11/06/10
TÍTULO
· A Mathematical Framework for the Verification of Air traffic Separation Assurance Systems
Ponente: D. César Muñoz
Data: 21 xuño
Hora: 11:00 h
Máis información no arquivo adxunto.
