Towards formalising AADL in Proof Assistants - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Dates et versions

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

Identifiants

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⟩
90 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More