( en | de | ru )

 

Disambiguierung von "Talpin, Jean-Pierre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Towards verified programming of embedded devices.

, , , , und . DATE, Seite 1445-1450. IEEE, (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 Mazat

Pierre Jean Regenet

Jean Pierre Calteux

Jean Pierre Vité

Jean-Pierre Cahen

 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Generation of Synchronous Formal Models from SystemC Descriptions., , und . Journal of Circuits, Systems, and Computers, 28 (4): 1950061:1-1950061:21 (2019)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)Formal Verification of Solidity contracts in Event-B., , , , und . CoRR, (2020)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)Generating Multi-Threaded code from Polychronous Specifications., , , und . SLAP@ETAPS, Volume 238 von Electronic Notes in Theoretical Computer Science, Seite 57-69. Elsevier, (2008)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)