Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri
On systematic design of globally consistent executable assertions in embedded software
LCTES, 2002.
@inproceedings{LCTES-SCOPES-2002-JhumkaHCS,
author = "Arshad Jhumka and Martin Hiller and Vilgot Claesson and Neeraj Suri",
booktitle = "{Proceedings of the Joint Conference on Languages, Compilers, and Tools for Embedded Systems / Software and Compilers for Embedded Systems}",
doi = "10.1145/513829.513843",
isbn = "1-58113-527-0",
pages = "75--84",
publisher = "{ACM}",
title = "{On systematic design of globally consistent executable assertions in embedded software}",
year = 2002,
}