Nelissen, G., Pereira, D., & Pinho, L. M. (2015). Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems.
Citação norma ChicagoNelissen, Geoffrey, David Pereira, and Luís Miguel Pinho. Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems. 2015.
Citação norma MLANelissen, Geoffrey, et al. Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems. 2015.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.