Verimag

bibtex

@inproceedings{DDe+15,
    title = { Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems },
    author = {Dreossi, Tommaso and Dang, Thao and e}, Alexandre Donz{\' 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},
    crossref = {DBLP:conf/nfm/2015},
    pages = {127--142},
    team = {TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/nfm/DreossiDDKJD15}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL

Publication Sections


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

info visites 915129