bibtex

@inproceedings{DDD+5,
    title = { Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems },
    author = {Dreossi, Tommaso and Dang, Thao and Donz\'e, Alexandre and Kapinski, James Patrick and Jin, Xiaoqing and Deshmukh, Jyotirmoy V.},
    year = {2015},
    booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
    pages = {127--142},
    team = {TEMPO},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.28 + AHUNTSIC [CC License]

info visites 1209081