-
1
المؤلفون: Maiga, Aïssata, Artho, Cyrille, Gilcher, Florian, Moy, Yannick
المصدر: FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023. :37-47
مصطلحات موضوعية: embedded systems, foreign function interface, language bindings, Rust, safety-critical code, SPARK
وصف الملف: print
URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-340536
https://doi.org/10.1145/3623503.3623534 -
2دورية أكاديمية
المؤلفون: Zonouz, Saman, Rrushi, Julian, McLaughlin, Stephen
المصدر: IEEE Security & Privacy IEEE Secur. Privacy Security & Privacy, IEEE. 12(6):40-47 Jan, 2014
-
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4مؤتمر
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
5دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.