Skip to Main content Skip to Navigation
Conference papers

Towards formalising AADL in Proof Assistants

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00784959
Contributor : David Chemouil <>
Submitted on : Tuesday, February 5, 2013 - 9:20:58 AM
Last modification on : Thursday, March 18, 2021 - 2:34:32 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

397