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/mksx-7e82
technical paper
Using Ada for model verification
Downloads
Next from AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies
technical paper
Contributions to the implementation of global schedulers for mixed-criticality systems
AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies
Thomas Robert
08 June 2021