Proc. of RV 2012: the 3rd International Conference on Runtime Verification

Book title Buchtitel
Proc. of RV 2012: the 3rd International Conference on Runtime Verification
 
Publisher Herausgeber
LNCS / Springer
 
Place of publishing Erscheinungsort
7687
 

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Reinbacher, Thomas ; Függer, Matthias ; Brauer, Jörg Real-Time Runtime Verification on ChipKonferenzbeitrag Inproceedings 2012