[Zurück]


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.