المؤلفون: 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

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.