( en | de | ru )

 

Disambiguierung von "Engelen, Luc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
From Conceptual Models to Safety Assurance.

, , , und . ER, Volume 8824 von Lecture Notes in Computer Science, Seite 195-208. Springer, (2014)

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.

Klaus Engelen

Luc Segoufin

Wulf Engelen

Sigrun Engelen

Julia Engelen

 

Weitere Publikationen von Autoren mit dem selben Namen

From Conceptual Models to Safety Assurance., , , und . ER, Volume 8824 von Lecture Notes in Computer Science, Seite 195-208. Springer, (2014)REFINER: Towards Formal Verification of Model Transformations., und . NASA Formal Methods, Volume 8430 von Lecture Notes in Computer Science, Seite 258-263. Springer, (2014)Extracting Models from ISO 26262 for Reusable Safety Assurance., , , , , und . ICSR, Volume 7925 von Lecture Notes in Computer Science, Seite 192-207. Springer, (2013)Efficient Property Preservation Checking of Model Refinements., und . TACAS, Volume 7795 von Lecture Notes in Computer Science, Seite 565-579. Springer, (2013)An exercise in iterative domain-specific language design., , und . EVOL/IWPSE, Seite 48-57. ACM, (2010)A systematic approach for safety evidence collection in the safety-critical domain., , , , , und . SysCon, Seite 194-199. IEEE, (2015)Metamodel Comparison and Model Comparison for Safety Assurance., , und . SAFECOMP Workshops, Volume 8696 von Lecture Notes in Computer Science, Seite 419-430. Springer, (2014)Towards Verified Java Code Generation from Concurrent State Machines., , , , , , und . AMT@MoDELS, Volume 1277 von CEUR Workshop Proceedings, Seite 64-69. CEUR-WS.org, (2014)Reusable and Correct Endogenous Model Transformations., , und . ICMT@TOOLS, Volume 7307 von Lecture Notes in Computer Science, Seite 72-88. Springer, (2012)A Modeling Approach to Support Safety Assurance in the Automotive Domain., , , und . ICSEng, Volume 366 von Advances in Intelligent Systems and Computing, Seite 339-345. Springer, (2014)