|
@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} }