Raphaël Beamonte
Posts
Omni
Raphaël Beamonte
Cancel
Posts
Omni
PhD Thesis
Runtime verification of real-time applications using trace data and model requirements
2016-12-06