Model-based independent verification and validation for dependable flight software

Naohiko Kohtake, Atsushi Katoh, Naoki Ishihama, Masafumi Katahira

研究成果: Conference contribution

2 被引用数 (Scopus)

フィンガープリント

「Model-based independent verification and validation for dependable flight software」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Material Science

Physics

Computer Science

Engineering

Keyphrases