Zeitschriftenartikel:
T. Reinbacher, M Függer, J. Brauer:
"Runtime verification of embedded real-time systems";
Formal Methods in System Design,
Nov 2013
(2013),
10703;
S. 1
- 37.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/s10703-013-0199-z
Zugeordnete Projekte:
Projektleitung Andreas Steininger:
Framework für CounterExample Validierung und Testfallgenerierung für die Verifikation von eingebetteter Software
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.