Verimag

bibtex

@inproceedings{FHQ+14,
    title = { Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software },
    author = {Frehse, Goran and Hamann, Arne and Quinton, Sophie and Woehrle, Matthias},
    year = {2014},
    booktitle = {Proceedings of the {IEEE} 35th {IEEE} Real-Time Systems Symposium, {RTSS} 2014, Rome, Italy, December 2-5, 2014},
    crossref = {DBLP:conf/rtss/2014},
    pages = {53--62},
    team = {TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/rtss/FrehseHQW14}, 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 819533