Ember: An Embedded Robotics Library in SPARK
Category
Lecture
Language
English
Author(s)
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