bibtex

@inproceedings{ADD+7b,
    title = {Classification and Coverage-Based Falsification for Embedded Control Systems },
    author = {Adimoolam, Arvind S. and Dang, Thao and Donz\'e, Alexandre and Kapinski, James P. and Jin, Xiaoqing},
    year = {2017},
    booktitle = {Computer Aided Verification - 29th International Conference, {CAV} 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
    pages = {483--503},
    team = {axe_Mohytos, TEMPO},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 3748571