Integration of heterogeneous formal techniques for the design of avionics systems - ONERA - Office national d'études et de recherches aérospatiales Accéder directement au contenu
Communication Dans Un Congrès Année : 2004
Fichier non déposé

Dates et versions

hal-03777792 , version 1 (15-09-2022)

Identifiants

  • HAL Id : hal-03777792 , version 1

Citer

Yamine Aït-Ameur, Frédéric Boniol, Rémi Delmas, Emmanuel Grolleau, Nathalie Torrecillas, et al.. Integration of heterogeneous formal techniques for the design of avionics systems. Proc. Conference on Data Systems in Aerospace (DASIA 2004), Jun 2004, Nice, France. ⟨hal-03777792⟩
10 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More