BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Towards Non-invasive Run-time Verification of Real-Time Systems

Participants in the publication
Ricardo Pinto (Author)
José Rufino (Author)
Dep. Informática
 LASIGE
Date of Publication
2014

Event
26th Euromicro Conference on Real-Time Systems (ECRTS)

Publication Identifiers

Address
Madrid, Spain

Starting page
25
Last page
28


Export

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 = {} }