A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Masahiko Watanabe, Akira Fukuda, Michihiro Matsumoto, Hirokazu Yatsu, Ichiro Hosotani, Shigeyuki Kido. A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software. In Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA. pages 137-142, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Masahiko Watanabe' in GoogleThis author has not been identified. Look up 'Akira Fukuda' in GoogleThis author has not been identified. Look up 'Michihiro Matsumoto' in GoogleThis author has not been identified. Look up 'Hirokazu Yatsu' in GoogleThis author has not been identified. Look up 'Ichiro Hosotani' in GoogleThis author has not been identified. Look up 'Shigeyuki Kido' in Google

runs on WebDSL