( en | de | ru )

 

Disambiguierung von "Pantel, Marc"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.

, , und . FMICS-AVoCS, Volume 9933 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2016)

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.

Daniel Pantel

Klaus Pantel

Joachim Pantel

Anita Pantel

Karin Pantel

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-Based Systems Engineering for Systems Simulation., , , und . ISoLA (3), Volume 11246 von Lecture Notes in Computer Science, Seite 429-448. Springer, (2018)Typing Concurrent Objects and Actors., , , und . L'OBJET, (2000)Vers une machine virtuelle pour l'évaluation des langages d'acteurs., , , und . LMO, Seite 221-240. INRIA, (1995)Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model., , und . Simulation, 91 (10): 851-868 (2015)An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation., , und . Serv. Oriented Comput. Appl., 15 (3): 205-230 (2021)A Design Pattern to Build Executable DSMLs and Associated V&V Tools., , und . APSEC, Seite 282-287. IEEE, (2012)Ordering Strict Partial Orders to Model Behavioral Refinement., und . Refine@FM, Volume 282 von EPTCS, Seite 23-38. (2018)Towards a Co-simulation Based Model Assessment Process for System Architecture., , , und . STAF Workshops, Volume 11176 von Lecture Notes in Computer Science, Seite 58-68. Springer, (2018)Model-based formal specification of a DSL library for a qualified code generator., , und . OCL@MoDELS, Seite 61-62. ACM, (2012)Tool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs., , , und . OCL@MoDELS, Volume 1512 von CEUR Workshop Proceedings, Seite 89-104. CEUR-WS.org, (2015)