( en | de | ru )

 

Disambiguierung von "Talpin, Jean-Pierre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generating Multi-Threaded code from Polychronous Specifications.

, , , und . SLAP@ETAPS, Volume 238 von Electronic Notes in Theoretical Computer Science, Seite 57-69. Elsevier, (2008)

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-Pierre Mazat

Jean Pierre Bergmann

Jean-Pierre Kassi

Pierre Jean Regenet

Jean Pierre Calteux

 

Weitere Publikationen von Autoren mit dem selben Namen

A higher-order extension for imperative synchronous languages., , und . SCOPES, Seite 7. ACM, (2010)Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic., , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 354-370. Springer, (2019)POLYCHRONY for System Design., , und . Journal of Circuits, Systems, and Computers, 12 (3): 261-304 (2003)An algebraic theory for behavioral modeling and protocol synthesis in system design., und . Formal Methods Syst. Des., 28 (2): 131-151 (2006)A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking., , , und . Int. J. Parallel Program., 33 (6): 613-643 (2005)Automated Generation of Synchronous Formal Models from SystemC Descriptions., , und . Journal of Circuits, Systems, and Computers, 28 (4): 1950061:1-1950061:21 (2019)Generating Multi-Threaded code from Polychronous Specifications., , , und . SLAP@ETAPS, Volume 238 von Electronic Notes in Theoretical Computer Science, Seite 57-69. Elsevier, (2008)A Functional Programming Framework for Latency Insensitive Protocol Validation., , , , und . FMGALS@MEMOCODE, Volume 146 von Electronic Notes in Theoretical Computer Science, Seite 169-188. Elsevier, (2005)Formal Verification of Solidity contracts in Event-B., , , , und . CoRR, (2020)Integrating system descriptions by clocked guarded actions., , , , und . FDL, Seite 1-8. IEEE, (2011)