( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Generation of Synchronous Formal Models from SystemC Descriptions.

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

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.

Pierre Jean Regenet

Jean Pierre Calteux

Jean-Pierre Mazat

Jean-Pierre Dubost

Jean-Pierre Détry

 

Другие публикации лиц с тем же именем

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