| langue originale | Anglais |
|---|---|
| Etat de la publication | Non publié - 2011 |
A Pattern-Driven Methodology for the Specification and Verification of Component-Based Embedded Systems
Eun-Young Kang, Pierre-Yves Schobbens, Axel Legay
Résultats de recherche: Autre contribution