Login / Signup
Nadia Chabbat
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Model Driven
Metamodel
Formal Verification
Conceptual Model
Top Venues
Comput. Informatics
</>
Publications
</>
Nadia Chabbat
,
Djamel-Eddine Saïdouni
,
Radja Boukharrou
,
Salim Ghanemi
Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model.
Comput. Informatics
39 (5) (2020)