David Chenho Kung, Scott R. Oksanen, Jyhjong Lin. An Object-Oriented Real Time Systems Modeling and Verification Methodology. In COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea. pages 490-495, IEEE Computer Society, 1996. [doi]
@inproceedings{KungOL96,
title = {An Object-Oriented Real Time Systems Modeling and Verification Methodology},
author = {David Chenho Kung and Scott R. Oksanen and Jyhjong Lin},
year = {1996},
url = {http://computer.org/proceedings/compsac/7579/75790490abs.htm},
tags = {modeling, object-role modeling},
researchr = {https://researchr.org/publication/KungOL96},
cites = {0},
citedby = {0},
pages = {490-495},
booktitle = {COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea},
publisher = {IEEE Computer Society},
}