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/mksx-7e82

technical paper

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

June 08, 2021

Spain

Using Ada for model verification

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

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

Contributions to the implementation of global schedulers for mixed-criticality systems
technical paper

Contributions to the implementation of global schedulers for mixed-criticality systems

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

Thomas Robert
Thomas Robert

08 June 2021

Similar lecture

Fool Me Twice: Entailment from Wikipedia Gamification
technical paper

Fool Me Twice: Entailment from Wikipedia Gamification

NAACL 2021

+2Jordan Lee Boyd-GraberJulian Martin Eisenschlos
Julian Martin Eisenschlos and 4 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