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

Empreinte digitale

Examiner les sujets de recherche de « A methodology for formal analysis and verification of EAST-ADL models ». Ensemble, ils forment une empreinte digitale unique.

Computer Science