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 revueArticleRevue par des pairs

Résultats de recherche