Highly reliable embedded software development using advanced software technologies
先端ソフトウェア技術による高信頼性組込みソフトウェア開発
Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani
IEICE Transactions on Information and Systems