( en | de | ru )

 

Disambiguierung von "Kerkouche, Elhillali"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation.

, , , und . J. Object Technol., 9 (4): 25-43 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Kerkouche, Elhillali
Eine Person hinzufügen mit dem Namen Kerkouche, Elhillali
 

Weitere Publikationen von Autoren mit dem selben Namen

An automatic generation approach of B Specifications From UML Diagrams., , und . ICDIM, Seite 73-78. IEEE, (2012)A Tool for Design and Verification of Distributed Manufacturing Process Based on Meta-Modelling and Graph Grammars: Application to a Production Line., , und . CAINE, Seite 88-93. ISCA, (2008)Modeling and Verification of Dynamic Behavior in UML Models: A Graph Transformation Approach., , , und . SEDE, Seite 111-118. ISCA, (2009)Automatic scenario-oriented test case generation from UML activity diagrams: a graph transformation and simulation approach., , , und . Int. J. Comput. Aided Eng. Technol., 16 (3): 379-415 (2022)Automatic Generation of SPL Structurally Valid Products Using Graph Transformations Approach., , , und . Modeling Approaches and Algorithms for Advanced Computer Applications, Volume 488 von Studies in Computational Intelligence, Springer, (2013)A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach., , und . e Informatica Softw. Eng. J., 12 (1): 9-26 (2018)Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach., , und . Int. J. Embed. Syst., 10 (6): 453-469 (2018)Formal Specification of Software Product Lines: A Graph Transformation Based Approach., , , und . J. Softw., 7 (11): 2518-2532 (2012)A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation., , und . FNC/MobiSPC, Volume 56 von Procedia Computer Science, Seite 612-617. Elsevier, (2015)Transforming UML models to colored petri nets models using graph grammars., , und . ISCC, Seite 230-236. IEEE Computer Society, (2009)