Exportar referência
APA
Ricardo Pinto, José Rufino, (2014). Towards Non-invasive Run-time Verification of Real-Time Systems. 26th Euromicro Conference on Real-Time Systems (ECRTS), 25-28
IEEE
Ricardo Pinto, José Rufino, "Towards Non-invasive Run-time Verification of Real-Time Systems" in 26th Euromicro Conference on Real-Time Systems (ECRTS), Madrid, Spain, 2014, pp. 25-28,
doi:
BIBTEX
@InProceedings{34175,
author = {Ricardo Pinto and José Rufino},
title = {Towards Non-invasive Run-time Verification of Real-Time Systems},
booktitle = {26th Euromicro Conference on Real-Time Systems (ECRTS)},
year = 2014,
pages = {25-28},
address = {Madrid, Spain},
publisher = {}
}