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/ffss-xq88

technical paper

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

June 08, 2021

Spain

ASIS vs. Libadalang: a comparative assessment

Please log in to leave a comment

Downloads

SlidesTranscript English (automatic)

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

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

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

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

Jerome Hugues

08 June 2021

Similar lecture

An Error Analysis Framework for Shallow Surface Realisation
technical paper

An Error Analysis Framework for Shallow Surface Realisation

NAACL 2021

Claire GardentAnastasia Shimorina
Anastasia Shimorina and 2 other authors

07 June 2021

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