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