Shin NAKAJIMA


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 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/06/01
Vol. E88-D  No. 6  pp. 1105-1116
Type of Manuscript:  INVITED PAPER (Special Section on Software Engineering for Embedded Systems)
Category: 
Keyword: 
embedded softwaredesign verification operating systemreal-time garbage collection
 Summary | Full Text:PDF(1.2MB)