Nelissen, G., Pereira, D., & Pinho, L. M. (2015). Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems.
Citação do estilo Chicago (17ª ed.)Nelissen, Geoffrey, David Pereira, e Luís Miguel Pinho. Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems. 2015.
Citação MLA (8ª ed.)Nelissen, 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.