Ember: An Embedded Robotics Library in SPARK

Category

Academic article

Language

English

Author(s)

Kristoffer Nyborg Gregertsen

Affiliation

SINTEF Digital / Mathematics and Cybernetics

Year

2021

Published in

Ada User Journal

ISSN

1381-6551

Volume

42

External resources

https://www.ada-europe.org/auj/archive/

View this publication at Cristin