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

@inproceedings{TUW-296373,
    author = {Bartocci, Ezio and Bloem, Roderick and Maderbacher, Benedikt and Manjunath, Niveditha and Nickovic, Dejan},
    title = {Adaptive Testing for Specification Coverage in CPS Models},
    booktitle = {Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems},
    year = {2021},
    pages = {229--234},
    publisher = {54},
    address = {5},
    doi = {10.1016/j.ifacol.2021.08.503},
    note = {talk: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021), Brussels, Belgium; 2021-07-07 -- 2021-07-09}
}


1 Datensatz ausgegeben