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

@inproceedings{TUW-282746,
    author = {Bartocci, Ezio and Manjunath, Niveditha and Mariani, Leonardo and Mateis, Cristinel and Nickovic, Dejan},
    title = {Automatic Failure Explanation in CPS Models},
    booktitle = {Proc. of SEFM 2019: the 17th International Conference on Software Engineering and Formal Methods},
    year = {2019},
    pages = {69--86},
    address = {11724},
    url = {https://publik.tuwien.ac.at/files/publik_282746.pdf},
    doi = {10.1007/978-3-030-30446-1},
    note = {talk: 17th International Conference on Software Engineering and Formal Methods, Oslo, Norway; 2019-09-18 -- 2019-09-20}
}


1 Datensatz ausgegeben