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

المؤلفون: Araujo, Gabriel^Aff10, Barrozzi, Vitor Vitali^Aff10, Gajda, Michał J.^Aff10

المساهمون: Kacprzyk, Janusz, Series Editor^Aff1, Gomide, Fernando, Advisory Editor^Aff2, Kaynak, Okyay, Advisory Editor^Aff3, Liu, Derong, Advisory Editor^Aff4, Pedrycz, Witold, Advisory Editor^Aff5, Polycarpou, Marios M., Advisory Editor^Aff6, Rudas, Imre J., Advisory Editor^Aff7, Wang, Jun, Advisory Editor^Aff8, Arai, Kohei, editor^Aff9

المصدر: Intelligent Computing : Proceedings of the 2022 Computing Conference, Volume 1. 506:171-177

المصدر: IEEE Std 1003.5b-1996 (Includes IEEE Std 1003.5-1992). :1-550 Nov, 1997

المصدر: IEEE Std 1003.5b-1996 (Includes IEEE Std 1003.5-1992). :1-550 Nov, 1995

المصدر: IEEE Std 1003.5-1992. :1-14 Mar, 1994

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

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