Falsification of OTSs by Searches of Bounded Reachable State Spaces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi. Falsification of OTSs by Searches of Bounded Reachable State Spaces. In Kang Zhang, George Spanoudakis, Giuseppe Visaggio, editors, Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2006), San Francisco, CA, USA, July 5-7, 2006. pages 440-445, 2006.

This author has not been identified. Look up 'Kazuhiro Ogata' in GoogleThis author has not been identified. Look up 'Weiqiang Kong' in GoogleThis author has not been identified. Look up 'Kokichi Futatsugi' in Google

runs on WebDSL