 |
|
|||
@inproceedings{DKGT14,
author = {Neil Dhruva and Pratyush Kumar and Georgia Giannopoulou and Lothar Thiele},
title = {Computing a Language-Based Guarantee for Timing Properties of Cyber-Physical Systems},
address = {Dresden, Germany},
booktitle = {2014 Design, Automation & Test in Europe Conference & Exhibition},
publisher = {IEEE},
month = {Mar},
year = {2014}
}
