( en | de | ru )

 

Disambiguierung von "Selim, Gehan M. K."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
How is ATL Really Used? Language Feature Use in the ATL Zoo.

, , und . MoDELS, Seite 34-44. IEEE Computer Society, (2017)

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.

K M Heinroth

Gehan Eltanany

Elisabeth Gehann

Hans-George Gehann

Ada Beate Gehann

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Verification of Graph-Based Model Transformations.. Queen's University at Kingston, Ontario, Canada, (2015)MMINT-A 2.0: tool support for the lifecycle of model-based safety artifacts., , , , , und . MoDELS (Companion), Seite 15:1-15:5. ACM, (2020)SyVOLT: Full Model Transformation Verification Using Contracts., , , , , , und . P&D@MoDELS, Volume 1554 von CEUR Workshop Proceedings, Seite 24-27. CEUR-WS.org, (2015)SL2SF: Refactoring Simulink to Stateflow., , , , , , , und . FASE, Volume 11424 von Lecture Notes in Computer Science, Seite 264-281. Springer, (2019)Model Transformations for Migrating Legacy Models: An Industrial Case Study., , , und . ECMFA, Volume 7349 von Lecture Notes in Computer Science, Seite 90-101. Springer, (2012)How is ATL Really Used? Language Feature Use in the ATL Zoo., , und . MoDELS, Seite 34-44. IEEE Computer Society, (2017)Specification and Verification of Graph-Based Model Transformation Properties., , , , und . ICGT, Volume 8571 von Lecture Notes in Computer Science, Seite 113-129. Springer, (2014)Towards Requirements Specification for Machine-learned Perception Based on Human Performance., , , , , und . AIRE@RE, Seite 48-51. IEEE, (2020)Just Enough Formality in Assurance Argument Structures., , , und . SAFECOMP, Volume 12234 von Lecture Notes in Computer Science, Seite 34-49. Springer, (2020)Finding and Fixing Bugs in Model Transformations with Formal Verification: An Experience Report., , , , und . AMT@MoDELS, Volume 1500 von CEUR Workshop Proceedings, Seite 26-35. CEUR-WS.org, (2015)