BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-257241,
    author = {Schumann, Johann and Moosbrugger, Patrick and Rozier, Kristin Y.},
    title = {Runtime Analysis with R2U2: A Tool Exhibition Report},
    booktitle = {Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings},
    year = {2016},
    pages = {504--509},
    publisher = {Springer International Publishing},
    address = {10012},
    url = {http://publik.tuwien.ac.at/files/publik_257241.pdf},
    issn = {0302-9743},
    doi = {10.1007/978-3-319-46982-9{\_}35},
    keywords = {runtime monitoring; Metric Temporal Logic; Linear Temporal Logic; Bayesian networks; FPGA; Security; Unmanned Aerial Systems; GPS Spoofing},
    note = {talk: 7th International Conference on Runtime Verification, Madrid; 2016-09-23 -- 2016-09-30}
}


1 Datensatz ausgegeben