bibtex

@inproceedings{DD7,
    title = {Temporal specification testing of hybrid systems },
    author = {Dang, Thao and Dreossi, Tommaso},
    year = {2017},
    booktitle = {13th {IEEE} Conference on Automation Science and Engineering, {CASE} 2017, Xi'an, China, August 20-23, 2017},
    pages = {1338--1343},
    team = {axe_Mohytos, TEMPO},
}


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

info visites 4086814