![Lecture image placeholder](/_next/image?url=https%3A%2F%2Fassets.underline.io%2Flecture%2F22206%2Fposter%2Flarge-9d2728ebf97c47c5b6d3c7c8da1234f0.png&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%2F22206%2Fposter%2Flarge-9d2728ebf97c47c5b6d3c7c8da1234f0.png&w=3840&q=75)
VIDEO DOI: https://doi.org/10.48448/3b90-5w34
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