Communication Dans Un Congrès
Année : 2004
Emmanuelle Choiseau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03777792
Soumis le : jeudi 15 septembre 2022-09:58:36
Dernière modification le : jeudi 4 avril 2024-11:44:39
Dates et versions
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⟩
Collections
10
Consultations
0
Téléchargements