VIDEO DOI: https://doi.org/10.48448/x72y-5s77

technical paper

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

June 08, 2021

Spain

A correct-by-construction AADL runtime, proof of a safety-critical middleware using SPARK/Ada

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

Vendor presentation (Ellidiss)

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

Pierre Dissaux

08 June 2021

Similar lecture

technical paper

How (Non-)Optimal is the Lexicon?

NAACL 2021

+2
Tiago Pimentel 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