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 usVIDEO DOI: https://doi.org/10.48448/ffss-xq88
technical paper
ASIS vs. Libadalang: a comparative assessment
Downloads
Next from AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies
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
JH
Jerome Hugues
08 June 2021