![Lecture image placeholder](/_next/image?url=https%3A%2F%2Fassets.underline.io%2Flecture%2F28731%2Fposter%2Flarge-0fbd50cd38279353482088667f95585e.jpg&w=3840&q=75)
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 us![Lecture placeholder background](/_next/image?url=https%3A%2F%2Fassets.underline.io%2Flecture%2F28731%2Fposter%2Flarge-0fbd50cd38279353482088667f95585e.jpg&w=3840&q=75)
VIDEO DOI: https://doi.org/10.48448/4g51-ra33
technical paper
Towards functional safety compliance of matrix-matrix multiplication for machine learning-based autonomous systems.
Downloads
Next from AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies
![Formally specifying the behaviour of a mixed criticality scheduler](/_next/image?url=https%3A%2F%2Fassets.underline.io%2Flecture%2F22201%2Fposter%2Fmedium-3bbb324df443f0080d28f2810a261611.png&w=3840&q=75)
technical paper
Formally specifying the behaviour of a mixed criticality scheduler
AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies
CJ
![Alan Burns](/_next/image?url=https%3A%2F%2Fassets.underline.io%2Fprofile%2F44658%2Fsquare_avatar%2Fmedium-15830ead6346d44f1d5b4e1ebd2a3f99.jpg&w=64&q=75)
Alan Burns and 1 other author
08 June 2021