Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1995886
Sist endret:
15. desember 2022, 13:18
Resultat
Faglig foredrag
2021
Ember: An Embedded Robotics Library in SPARK
Kristoffer Nyborg Gregertsen
Presentasjon
Presentasjon
Navn på arrangementet: Ada-Europe International Conference on Reliable Software Technologies
Sted: Virtuelt
Dato fra:
7. juni 2021
Dato til:
10. juni 2021
Arrangør:
Arrangørnavn: Ada-Europe
Om resultatet
Om resultatet
Faglig foredrag
Publiseringsår: 2021
Importkilder
Importkilder
Scopus-ID: 2-s2.0-85132575123
Beskrivelse
Beskrivelse
Engelsk
Tittel
Ember: An Embedded Robotics Library in SPARK
Bidragsytere
Bidragsytere
Kristoffer Nyborg Gregertsen
Forfatter
ved Mathematics and Cybernetics ved SINTEF AS
1
-
1
av
1