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]
Abstract is missing.