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/96c5-7x93

technical paper

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

June 08, 2021

Spain

Formally specifying the behaviour of a mixed criticality scheduler

Please log in to leave a comment

Downloads

Transcript English (automatic)

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

Ember: An embedded robotics library in SPARK
technical paper

Ember: An embedded robotics library in SPARK

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

Kristoffer Nyborg Gregertsen
Kristoffer Nyborg Gregertsen

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