An Object-Oriented Real Time Systems Modeling and Verification Methodology.

David Chenho Kung, Scott R. Oksanen, Jyhjong Lin

Browse the full COMPSAC paper archive.