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/8gpk-9q42

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

Refining Targeted Syntactic Evaluation of Language Models
technical paper

Refining Targeted Syntactic Evaluation of Language Models

NAACL 2021

+1Benjamin Newman
Benjamin Newman and 3 other authors

07 June 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