research
∙
11/19/2021
Formal verification of space systems designed with TASTE
Model-Based Systems Engineering (MBSE) is a development approach aiming ...
share
research
∙
06/14/2021
Certification of embedded systems based on Machine Learning: A survey
Advances in machine learning (ML) open the way to innovating functions i...
research
∙
08/30/2019
