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

@inproceedings{TUW-254948,
    author = {Kalajdzic, Kenan and Jegourel, Cyrille and Legay, Axel and Bartocci, Ezio and Lukina, Anna and Smolka, Scott A. and Grosu, Radu},
    title = {Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I},
    year = {2016},
    pages = {46--61},
    publisher = {Springer International Publishing},
    address = {9952},
    isbn = {978-3-319-47166-2},
    doi = {10.1007/978-3-319-47166-2{\_}4},
    note = {talk: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, Corf{\'u}, Greece; 2016-10-10 -- 2016-10-14}
}


1 Datensatz ausgegeben