CoCoSim: an automated analysis framework for Simulink/Stateflow

Hamza Bourbouh, Guillaume Brat, Pierre-Loic Garoche
January 2020
Cite
Type
Conference paper
Publication
Model Based Space Systems and Software Engineering - European Space Agency Workshop (MBSE'20)
"workshop" "own"
Hamza Bourbouh
Hamza Bourbouh
Engineer at Google Zurich
Guillaume Brat
Guillaume Brat
Researcher at NASA Ames

Related