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

Sections de Publications


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

info visites 1308580