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

Sorry, there's nothing here.

Cite this paper

@inproceedings{Kera2002HighAS, title={High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System}, author={Kazuo Kera and Keisuke Bekki and Kinji Mori and Issei Masumoto}, booktitle={HASE}, year={2002} }