Publications in Scientific Journals:
T. Reinbacher, M Függer, J. Brauer:
"Runtime verification of embedded real-time systems";
Formal Methods in System Design,
Nov 2013
(2013),
10703;
1
- 37.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10703-013-0199-z
Related Projects:
Project Head Andreas Steininger:
Framework für CounterExample Validierung und Testfallgenerierung für die Verifikation von eingebetteter Software
Created from the Publication Database of the Vienna University of Technology.