Model-based independent verification and validation for dependable flight software

Naohiko Kohtake, Atsushi Katoh, Naoki Ishihama, Masafumi Katahira

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Model-based independent verification and validation for dependable flight software'. Together they form a unique fingerprint.

Physics & Astronomy

Earth & Environmental Sciences

Engineering & Materials Science