Communication Dans Un Congrès
Année : 2005
David Chemouil : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00784959
Soumis le : mardi 5 février 2013-09:20:58
Dernière modification le : vendredi 19 juillet 2024-13:40:29
Citer
Jean-Paul Bodeveix, David Chemouil, M Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩. ⟨hal-00784959⟩
Collections
97
Consultations
0
Téléchargements