( en | de | ru )

 

Disambiguierung von "Bodeveix, Jean-Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compositional Refinement for Real-Time Systems with Priorities.

, , und . TIME, Seite 57-64. IEEE Computer Society, (2012)

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.

Jean Paul

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Johann Jeanson

Helga Jeanblanc

Marc Jean-Richard-dit-Bressel

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL., , und . Frontiers Comput. Sci., 13 (4): 715-734 (2019)FMona: A Tool for Expressing Validation Techniques over Infinite State Systems., und . TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 204-219. Springer, (2000)Event-B Formalization of a Variability-Aware Component Model Patterns Framework., , und . FACS, Volume 11222 von Lecture Notes in Computer Science, Seite 54-74. Springer, (2018)Modeling AADL Data Communication with BIP., , und . Ada-Europe, Volume 5570 von Lecture Notes in Computer Science, Seite 192-206. Springer, (2009)Type Synthesis in B and the Translation of B to PVS., und . ZB, Volume 2272 von Lecture Notes in Computer Science, Seite 350-369. Springer, (2002)Verification of Timed BPEL 2.0 Models., , und . BMMDS/EMMSAD, Volume 81 von Lecture Notes in Business Information Processing, Seite 261-275. Springer, (2011)Formal Methods Meet Domain Specific Languages., , , und . IFM, Volume 3771 von Lecture Notes in Computer Science, Seite 187-206. Springer, (2005)Compositional Refinement for Real-Time Systems with Priorities., , und . TIME, Seite 57-64. IEEE Computer Society, (2012)Event Algebra for Transition Systems Composition - Application to Timed Automata., , und . TIME, Seite 125-132. IEEE Computer Society, (2013)Specification and Verification of Communication Paradigms for CBSE in Event B., , , und . ICECCS, Seite 157-166. IEEE, (2023)