Browse wiki

From Navigators

Jump to: navigation, search
Publication:RCPinto2014rv
Abstract Support for Run-time Verification (RV) has ying it to external entities for handling.
Address Madrid, Spain  +
Author Ricardo Correia Pinto + , José Rufino +
Booktitle Work-in-Progress Session of the 26th Euromicro Conference on Real-Time Systems (ECRTS)  +
Document Document for Publication-RCPinto2014rv.pdf +
Key RCPinto2014rv  +
Month jul  +
NumPubDate 2,014.07  +
Pages 25–28  +
Project Project:READAPT +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Towards Non-invasive Run-time Verification of Real-Time Systems  +
Type inproceedings  +
Year 2014  +
Has improper value for Url  +
Categories Publication  +
Modification date 23 July 2014 11:50:08  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox
Navigators toolbox