Documents publiés en "2016"

B

Beamonte, R. (2016). Runtime Verification of Real-Time Applications Using Trace Data and Model Requirements [Thèse de doctorat, École Polytechnique de Montréal]. Disponible

Beamonte, R., & Dagenais, M. (2016). Detection of common problems in real-Time and multicore systems using model-based constraints. Scientific Programming, 2016, 1-18. Disponible