Farn Wang, Fang Yu. OVL Assertion-Checking of Embedded Software with Dense-Time Semantics. In Jing Chen, Seongsoo Hong, editors, Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers. Volume 2968 of Lecture Notes in Computer Science, pages 254-278, Springer, 2003. [doi]
@inproceedings{WangY03:3,
title = {OVL Assertion-Checking of Embedded Software with Dense-Time Semantics},
author = {Farn Wang and Fang Yu},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2968&spage=254},
tags = {semantics, embedded software},
researchr = {https://researchr.org/publication/WangY03%3A3},
cites = {0},
citedby = {0},
pages = {254-278},
booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers},
editor = {Jing Chen and Seongsoo Hong},
volume = {2968},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-21974-9},
}