慶應義塾大学自然科学研究教育センター
ナビゲーションをスキップ
Naohiko Kohtake, Atsushi Katoh, Naoki Ishihama, Masafumi Katahira (2009) Model-base Independent Verification and Validation for Dependable Flight Software IEEE Aerospace Conference
Keio University Hiyoshi Campus