VIDEO DOI: https://doi.org/10.48448/3b90-5w34
Towards functional safety compliance of matrix-matrix multiplication for machine learning-based autonomous systems.
Formally specifying the behaviour of a mixed criticality scheduler
AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies
Alan Burns and 1 other author
08 June 2021