An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takenobu Aoshima, Kenji Sakuma, Naoki Yonezaki. An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications. In Tetsuo Tamai, editor, Proceedings of the 4th International Workshop on Principles of Software Evolution, IWPSE 2001, Vienna, Austria, September 10-11, 2001. pages 182-185, ACM, 2001. [doi]

This author has not been identified. Look up 'Takenobu Aoshima' in GoogleThis author has not been identified. Look up 'Kenji Sakuma' in GoogleThis author has not been identified. Look up 'Naoki Yonezaki' in Google

runs on WebDSL