( en | de | ru )

 

Disambiguation of "Raclet, Jean-Baptiste"

Author of the publication

copydeleteadd this publication to your clipboard
Modal Contracts for Component-Based Design.

, and . SEFM, page 295-303. IEEE Computer Society, (2009)

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-Baptiste Felten

Jean-Baptiste Bordes

Jean-Baptiste Sibarita

Jean-Baptiste Filippi

Jean-Baptiste Nugeyre

 

Other publications of authors with the same name

Ensuring Reachability by Design., and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 213-227. Springer, (2012)A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols., , and . FTSCS, volume 476 of Communications in Computer and Information Science, page 76-92. Springer, (2014)Solving Language Equations Using Flanked Automata., , and . ATVA, volume 9938 of Lecture Notes in Computer Science, page 106-121. (2016)Designing a Revision System: An Exploratory Qualitative Study to Identify the Needs of French Teachers and Students., , , , and . EC-TEL, volume 14200 of Lecture Notes in Computer Science, page 294-307. Springer, (2023)Finding Behavioral Indicators from Contextualized Commits in Software Engineering Courses with Process Mining., , , and . FISEE, volume 14387 of Lecture Notes in Computer Science, page 56-68. Springer, (2023)Mixed Nondeterministic-Probabilistic Interfaces., , and . CoRR, (2020)Why Are Modalities Good for Interface Theories?., , , , and . ACSD, page 119-127. IEEE Computer Society, (2009)Application of interface theories to the separate compilation of synchronous programs., , and . CDC, page 7252-7258. IEEE, (2012)Modal Contracts for Component-Based Design., and . SEFM, page 295-303. IEEE Computer Society, (2009)On the Complexity of Flanked Finite State Automata., , and . CoRR, (2015)