VIDEO DOI: https://doi.org/10.48448/x6bq-ek93

technical paper

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies

June 09, 2021

Spain

Ember: An embedded robotics library in SPARK

Please log in to leave a comment

Downloads

Transcript English (automatic)

Next from AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies

technical paper

Adoption of ACPS in nuclear reactor analysis

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies

Christian Castagna

09 June 2021

Similar lecture

sponsored talk

Science Robotics - It's 2021 - where are all the robots?

UKSG Annual Conference 2021

Dr. Michael M. Lee

14 April 2021

Stay up to date with the latest Underline news!

PRESENTATIONS

  • All Lectures
  • For Librarians
  • Resource Center
  • Free Trial
Underline Science, Inc.
1216 Broadway, 2nd Floor, New York, NY 10001, USA

© 2023 Underline - All rights reserved