Neil Dhruva, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele
Computing a language-based guarantee for timing properties of cyber-physical systems
DATE, 2014.
@inproceedings{DATE-2014-DhruvaKGT,
author = "Neil Dhruva and Pratyush Kumar and Georgia Giannopoulou and Lothar Thiele",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.200",
pages = "1--6",
publisher = "{IEEE}",
title = "{Computing a language-based guarantee for timing properties of cyber-physical systems}",
year = 2014,
}