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

@inproceedings{TUW-273182,
    author = {Bartocci, Ezio and Ferrere, Thomas and Manjunath, Niveditha and Nickovic, Dejan},
    title = {Localizing Faults in Simulink/Stateflow Models with {\{}STL{\}}},
    booktitle = {Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {\{}CPS{\}} Week)},
    year = {2018},
    pages = {197--206},
    doi = {10.1145/3178126},
    note = {talk: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of {\{}CPS{\}} Week), Porto, Portugal; 2018-04-11 -- 2018-04-13}
}


1 Datensatz ausgegeben