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 P. 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 = {axe_Mohytos, TEMPO},
}

URL


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

info visites 3902065