( en | de | ru )

 

Disambiguierung von "Raclet, Jean-Baptiste"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modal Contracts for Component-Based Design.

, und . SEFM, Seite 295-303. IEEE Computer Society, (2009)

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

Jean-Baptiste Bordes

Jean-Baptiste Sibarita

Jean-Baptiste Filippi

Jean-Baptiste Nugeyre

 

Weitere Publikationen von Autoren mit dem selben Namen

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