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

@inproceedings{TUW-257258,
    author = {Schumann, Johann and Moosbrugger, Patrick and Rozier, Kristin Y.},
    title = {R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems},
    booktitle = {Proc. of RV 2015, the 6th International Conference on Runtime Verification},
    year = {2015},
    pages = {233--249},
    publisher = {Springer},
    address = {9333},
    url = {http://publik.tuwien.ac.at/files/publik_257258.pdf},
    doi = {10.1007/978-3-319-23820-3{\_}15},
    keywords = {runtime monitoring; Metric Temporal Logic; Linear Temporal Logic; Bayesian networks; FPGA; Security; Unmanned Aerial Systems; GPS Spoofing},
    note = {talk: RV 2015, the 6th International Conference on Runtime Verification, Vienna, Austria; 2015-09-22 -- 2015-09-25}
}


1 Datensatz ausgegeben