An Object-Oriented Real Time Systems Modeling and Verification Methodology

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]

Authors

David Chenho Kung

This author has not been identified. Look up 'David Chenho Kung' in Google

Scott R. Oksanen

This author has not been identified. Look up 'Scott R. Oksanen' in Google

Jyhjong Lin

This author has not been identified. Look up 'Jyhjong Lin' in Google