Lecture image placeholder

Premium content

Access to this content requires a subscription. You must be a premium user to view this content.

Monthly subscription - $9.99Pay per view - $4.99Access through your institutionLogin with Underline account
Need help?
Contact us
Lecture placeholder background
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

PaperTranscript English (automatic)

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

Adoption of ACPS in nuclear reactor analysis
technical paper

Adoption of ACPS in nuclear reactor analysis

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

Christian Castagna
Christian Castagna

09 June 2021

Similar lecture

Stay up to date with the latest Underline news!

Select topic of interest (you can select more than one)

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