( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified functional programming of an IoT operating system's bootloader.

, и . MEMOCODE, стр. 89-97. ACM, (2021)

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.

Jing Yuan

Fang Yuan

Li Yuan

Lei Yuan

Xiugan Yuan

 

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

Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study., , , , , и . Sci. Comput. Program., (2021)Verified programming and secure integration of operating system libraries in Coq. (Programmation vérifiée et intégration sécurisée de bibliothèques de systèmes d'exploitation dans Coq).. University of Rennes 1, France, (2023)End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers., , , , , и . CAV (2), том 13372 из Lecture Notes in Computer Science, стр. 293-316. Springer, (2022)Verified functional programming of an IoT operating system's bootloader., и . MEMOCODE, стр. 89-97. ACM, (2021)Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification., , , и . SETTA, том 14464 из Lecture Notes in Computer Science, стр. 385-401. Springer, (2023)Automated Ada Code Generation from Synchronous Dataflow Programs on Multicore: Approach and Industrial Study., , , , , и . FTSCS, том 1165 из Communications in Computer and Information Science, стр. 57-73. Springer, (2019)Femto-containers: lightweight virtualization and fault isolation for small software functions on low-power IoT microcontrollers., , , , и . Middleware, стр. 161-173. ACM, (2022)