Towards formalising AADL in Proof Assistants - Archive ouverte HAL Access content directly
Conference Papers Year : 2005

Dates and versions

hal-00784959 , version 1 (05-02-2013)

Identifiers

Cite

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⟩
82 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More