%0 Conference Paper %1 conf/rtss/FrehseHQW14 %A Frehse, Goran %A Hamann, Arne %A Quinton, Sophie %A Woehrle, Matthias %B RTSS %D 2014 %I IEEE Computer Society %K dblp %P 53-62 %T Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. %U http://dblp.uni-trier.de/db/conf/rtss/rtss2014.html#FrehseHQW14 %@ 978-1-4799-7287-6

@inproceedings{conf/rtss/FrehseHQW14, added-at = {2016-01-19T00:00:00.000+0100}, author = {Frehse, Goran and Hamann, Arne and Quinton, Sophie and Woehrle, Matthias}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d43b8cbb164a87d9c5df9641d5b93bba/dblp}, booktitle = {RTSS}, crossref = {conf/rtss/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2014.28}, interhash = {6a3e47570aca93adaf21271cd08abac8}, intrahash = {d43b8cbb164a87d9c5df9641d5b93bba}, isbn = {978-1-4799-7287-6}, keywords = {dblp}, pages = {53-62}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:34:38.000+0100}, title = {Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.}, url = {http://dblp.uni-trier.de/db/conf/rtss/rtss2014.html#FrehseHQW14}, year = 2014 }