technical paper
ASIS vs. Libadalang: a comparative assessment
DOI: 10.48448/2e16-re86
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