A methodology for formal analysis and verification of EAST-ADL models
- Eun-Young Kang
- , Eduard Paul Enoiu
- , Raluca Marinescu
- , Cristina Seceleanu
- , Pierre Yves Schobbens
- , Paul Pettersson
Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs