About this scholarly article

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 - An object-oriented real time systems modeling and verification methodology by Kung, D.C.; Oksanen, S.R.; Jyhjong Lin, is a scholarly article available to read on EtoBox.

Author

Kung, D.C.; Oksanen, S.R.; Jyhjong Lin,

Publisher

IEEE Comput. Soc. Press

Published

1996