Dataset - CKAN

Modelling and Hazard Analysis for Contaminated Sediments using STAMP model an...

International audience
- HTML
ARRL: A Criterion for Composable Safety and Systems Engineering

International audience
- HTML
Safe Allocation with Aeronautical systems : Modelisation, Verification and Ge...

This thesis aimed at providing a method to model, verify, and generate allocations of embedded systems functions on avionics resources. This method is based on the use...
- HTML

You can also access this registry using the API (see API Docs).