Introduction of Virtualization Technology to Multi-Process Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Watcharin Leungwattanakit, Cyrille Valentin Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Introduction of Virtualization Technology to Multi-Process Model Checking. In Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu, editors, First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. Volume NASA/CP-2009-215407 of NASA Conference Proceedings, pages 106-110, 2009.

This author has not been identified. Look up 'Watcharin Leungwattanakit' in GoogleThis author has not been identified. Look up 'Cyrille Valentin Artho' in GoogleThis author has not been identified. Look up 'Masami Hagiya' in GoogleThis author has not been identified. Look up 'Yoshinori Tanabe' in GoogleThis author has not been identified. Look up 'Mitsuharu Yamamoto' in Google

runs on WebDSL