Filtrer vos résultats
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 résultat
|
|
triés par
|
Modeling a BSG-E Automotive System with the Timing Augmented Description language.ISOLA 2012 - 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, TU Dortmund - EASST, Oct 2012, Amirandes, Héraklion, Greece. pp.111-125, ⟨10.1007/978-3-642-34032-1_14⟩
Communication dans un congrès
hal-00757185v1
|