Ember: An Embedded Robotics Library in SPARK
Category
Academic article
Language
English
Author(s)
Affiliation
- SINTEF Digital / Mathematics and Cybernetics
Year
2021Published in
Ada User Journal
ISSN
1381-6551
Volume
42
Academic article
English
Ada User Journal
1381-6551
42