-
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كتاب إلكتروني
المؤلفون: Araujo, GabrielAff10, Barrozzi, Vitor VitaliAff10, Gajda, Michał J.Aff10
المساهمون: Kacprzyk, Janusz, Series EditorAff1, Gomide, Fernando, Advisory EditorAff2, Kaynak, Okyay, Advisory EditorAff3, Liu, Derong, Advisory EditorAff4, Pedrycz, Witold, Advisory EditorAff5, Polycarpou, Marios M., Advisory EditorAff6, Rudas, Imre J., Advisory EditorAff7, Wang, Jun, Advisory EditorAff8, Arai, Kohei, editorAff9
المصدر: Intelligent Computing : Proceedings of the 2022 Computing Conference, Volume 1. 506:171-177
-
3Guideline
المصدر: IEEE Std 1003.5b-1996 (Includes IEEE Std 1003.5-1992). :1-550 Nov, 1997
-
4Guideline
المصدر: IEEE Std 1003.5b-1996 (Includes IEEE Std 1003.5-1992). :1-550 Nov, 1995
-
5Guideline
المصدر: IEEE Std 1003.5-1992. :1-14 Mar, 1994
-
6دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
7دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.