AADL model transformation for formal verification - Archive ouverte HAL Access content directly
Conference Papers Year : 2008
No file

Dates and versions

hal-00517223 , version 1 (13-09-2010)

Identifiers

  • HAL Id : hal-00517223 , version 1

Cite

Thomas Abdoul, Joël Champeau, Philippe Dhaussy, Pierre-Yves Pillain, Jean-Charles Roger. AADL model transformation for formal verification. 3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland. ⟨hal-00517223⟩
58 View
0 Download

Share

Gmail Facebook X LinkedIn More