( en | de | ru )

 

Disambiguierung von "Bodeveix, Jean-Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards a HOL Theory and Memory.

, , und . TPHOLs, Volume 859 von Lecture Notes in Computer Science, Seite 49-64. Springer, (1994)

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)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)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)Verification of Timed BPEL 2.0 Models., , und . BMMDS/EMMSAD, Volume 81 von Lecture Notes in Business Information Processing, Seite 261-275. Springer, (2011)Event Algebra for Transition Systems Composition - Application to Timed Automata., , und . TIME, Seite 125-132. IEEE Computer Society, (2013)Compositional Refinement for Real-Time Systems with Priorities., , und . TIME, Seite 57-64. IEEE Computer Society, (2012)The AADL behaviour annex - experiments and roadmap., , , , , und . ICECCS, Seite 377-382. IEEE Computer Society, (2007)Specification and Verification of Communication Paradigms for CBSE in Event B., , , und . ICECCS, Seite 157-166. IEEE, (2023)