David Doose, Zoubir Mammeri. Polyhedra-Based Approach for Incremental Validation of Real-Time Systems. In Laurence Tianruo Yang, Makoto Amamiya, Zhen Liu, Minyi Guo, Franz J. Rammig, editors, Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings. Volume 3824 of Lecture Notes in Computer Science, pages 184-193, Springer, 2005. [doi]
@inproceedings{DooseM05,
title = {Polyhedra-Based Approach for Incremental Validation of Real-Time Systems},
author = {David Doose and Zoubir Mammeri},
year = {2005},
doi = {10.1007/11596356_21},
url = {http://dx.doi.org/10.1007/11596356_21},
tags = {rule-based, incremental, systematic-approach},
researchr = {https://researchr.org/publication/DooseM05},
cites = {0},
citedby = {0},
pages = {184-193},
booktitle = {Embedded and Ubiquitous Computing - EUC 2005, International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005, Proceedings},
editor = {Laurence Tianruo Yang and Makoto Amamiya and Zhen Liu and Minyi Guo and Franz J. Rammig},
volume = {3824},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30807-5},
}