Cristin-resultat-ID: 1995886
Sist endret: 15. desember 2022, 13:18
Resultat
Faglig foredrag
2021

Ember: An Embedded Robotics Library in SPARK

Bidragsytere:
  • Kristoffer Nyborg Gregertsen

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

Faglig foredrag
Publiseringsår: 2021

Importkilder

Scopus-ID: 2-s2.0-85132575123

Beskrivelse Beskrivelse

Tittel

Ember: An Embedded Robotics Library in SPARK

Bidragsytere

Aktiv cristin-person

Kristoffer Nyborg Gregertsen

  • Tilknyttet:
    Forfatter
    ved Mathematics and Cybernetics ved SINTEF AS
1 - 1 av 1