Browsing by Subject UML, Real-Time Statechart diagram, Real-Time Collaboration diagram, génération de code, Méta-modélisation, Grammaire de graphes, ATOM3, MITL, Model checking, language Maude.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1-Jun-2021 | UML et Model-Checking pour la Modélisation et la Vérification des Systèmes Embarqués | Meliouh, Amel |