Towards formalising AADL in Proof Assistants

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00784959
Contributor : David Chemouil <>
Submitted on : Tuesday, February 5, 2013 - 9:20:58 AM
Last modification on : Thursday, October 17, 2019 - 8:53:01 AM

Links full text

Identifiers

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. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩. ⟨hal-00784959⟩

Share

Metrics

Record views

135