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

@inproceedings{TUW-273843,
    author = {Bartocci, Ezio and Falcone, Ylies},
    title = {RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction)},
    booktitle = {Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice},
    year = {2018},
    pages = {3--8},
    publisher = {Springer International Publishing},
    address = {11247},
    doi = {10.1007/978-3-030-03427-6{\_}1},
    note = {talk: Proc. of ISoLA 2018: the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, Limassol, Cyprus; 2018-11-05 -- 2018-11-09}
}


1 Datensatz ausgegeben