Recherche - ENAC - École nationale de l'aviation civile Accéder directement au contenu

Filtrer vos résultats

2 Résultats
authIdHal_s : david-navarre
Image document

Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

Eric Barboni , Stéphane Conversy , David Navarre , Philippe Palanque
13th conference on Design Specification and Verification of Interactive Systems (DSVIS 2006), Jul 2006, Dublin, Ireland. pp.25-38, ⟨10.1007/978-3-540-69554-7_3⟩
Communication dans un congrès hal-01021771v1
Image document

Improving modularity of interactive software with the MDPC Architecture

Stéphane Conversy , Eric Barboni , David Navarre , Philippe Palanque
Joint Working Conference on Engineering Interactive Systems (EIS 2007), Mar 2007, Salamanca, Spain. pp.321-338, ⟨10.1007/978-3-540-92698-6⟩
Communication dans un congrès hal-01021985v1