[IEEE Seventh International Conference on Quality Software (QSIC 2007) - Portland, OR, USA (2007.10.11-2007.10.12)] Seventh International Conference on Quality Software (QSIC 2007) - A Resource Scheduling Design Method with Model Checking for Distributed Embedded Software
Watanabe, Masahiko, Fukuda, Akira, Matsumoto, Michihiro, Yatsu, Hirokazu, Hosotani, Ichiro, Kido, ShigeyukiYear:
2007
Language:
english
DOI:
10.1109/qsic.2007.4385489
File:
PDF, 353 KB
english, 2007