High Assurance Step-by-step Autonomous Construction Technique for Large Real time System

論文・著書情報

タイトル

和文:
英文:	High Assurance Step-by-step Autonomous Construction Technique for Large Real time System

著者

和文:	Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto.
英文:	Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto.

言語

English

掲載誌/書名

和文:
英文:	Seventh IEEE International High-Assurance Systems Engineering Symposium

巻, 号, ページ

pp. 79-86

出版年月

2002年

出版者

和文:
英文:

会議名称

和文:
英文:

開催地

和文:
英文: