VIDEO DOI: https://doi.org/10.48448/h9bc-9y62

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

keynote

Software reliability in the Big Data era with an industry‐minded focus

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

Ángel Conde

08 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