Runtime verification of embedded real-time systems (bibtex)
by Thomas Reinbacher, Matthias Függer, Joerg Brauer
Reference:
Runtime verification of embedded real-time systemsThomas Reinbacher, Matthias Függer, Joerg BrauerFormal Methods in System Design, pages 1-37, 2013, Springer US.
Bibtex Entry:
@article{RFB13:FMSD,
publisher = {Springer US},
title = {Runtime verification of embedded real-time systems},
journal = {Formal Methods in System Design},
author = {Reinbacher, Thomas and F\"ugger, Matthias and Brauer, Joerg},
link = {http://dx.doi.org/10.1007/s10703-013-0199-z},
year = {2013},
pages = {1-37},
}
Powered by bibtexbrowser