To main content

Ember: An Embedded Robotics Library in SPARK

Category

Lecture

Language

English

Affiliation

  • SINTEF Digital / Mathematics and Cybernetics

Presented at

Ada-Europe International Conference on Reliable Software Technologies

Place

Virtuelt

Date

07.06.2021 - 10.06.2021

Organizer

Ada-Europe

Year

2021

View this publication at Cristin