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.

Material Science

Physics

Computer Science

Engineering

Keyphrases