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