-
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
المؤلفون: Maiga, Aïssata, Löv, Johanna
مصطلحات موضوعية: Datavetenskap (datalogi), Computer Sciences, FireNet, E2VID, Event based camera, simulated data, image reconstruction, real data
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a3ce0c1571b6f5a17d824fa51674713e
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-302028