( en | de | ru )

 

Disambiguierung von "Talpin, Jean-Pierre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Generation of Synchronous Formal Models from SystemC Descriptions.

, , und . Journal of Circuits, Systems, and Computers, 28 (4): 1950061:1-1950061:21 (2019)

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 Calteux

Jean-Pierre Mazat

Pierre Jean Regenet

Jean-Pierre Dubost

Jean-Pierre Détry

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Automated Generation of Synchronous Formal Models from SystemC Descriptions., , und . Journal of Circuits, Systems, and Computers, 28 (4): 1950061:1-1950061:21 (2019)Formal Modeling and Verification of Blockchain System., , , , , und . ICCMS, Seite 231-235. ACM, (2018)Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers., , , , und . Middleware, Seite 161-173. ACM, (2022)A higher-order extension for imperative synchronous languages., , und . SCOPES, Seite 7. ACM, (2010)Automated clock inference for stream function-based system level specifications., und . HLDVT, Seite 63-70. IEEE Computer Society, (2005)From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations., , , und . ACSD, Seite 42-51. IEEE Computer Society, (2009)POLYCHRONY for System Design., , und . Journal of Circuits, Systems, and Computers, 12 (3): 261-304 (2003)Integrating system descriptions by clocked guarded actions., , , , und . FDL, Seite 1-8. IEEE, (2011)End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT., , und . CAV (1), Volume 14681 von Lecture Notes in Computer Science, Seite 325-347. Springer, (2024)