Towards formalising AADL in Proof Assistants

Type de document :
Communication dans un congrès
Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. 141 (3), pp.153-169, 2005, 〈10.1016/j.entcs.2005.05.008〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00784959
Contributeur : David Chemouil <>
Soumis le : mardi 5 février 2013 - 09:20:58
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02

Lien texte intégral

Identifiants

Collections

Citation

Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. 141 (3), pp.153-169, 2005, 〈10.1016/j.entcs.2005.05.008〉. 〈hal-00784959〉

Partager

Métriques

Consultations de la notice

103