Filtrer vos résultats
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
|
|
triés par
|
Transformation de modèles AADL en automates temporisés IF.2006
Autre publication scientifique
hal-00541457v1
|
|||
AADL model transformation for formal verification3rd IEEE International UML&AADL workshop (hosted by ICECCS 2008), Apr 2008, Belfast, Ireland
Communication dans un congrès
hal-00517223v1
|