( en | de | ru )

 

Disambiguation of "Bodeveix, Jean-Paul"

Author of the publication

copydeleteadd this publication to your clipboard
An Approach to Generate the Traceability Between Restricted Natural Language Requirements and AADL Models.

, , , , , , and . IEEE Trans. Reliability, 69 (1): 154-173 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

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