Project
People
Workshops
Publications
Contact
Hamza Bourbouh
PhD student (2017-)
NASA
PhD thesis:
CocoSim: compilation and verification of stateflow and dataflow models for critical systems.
advised by Pierre-Loic Garoche
Research Engineer at SGT/NASA Ames, California
Cite
×