Skip to Content
Toggle navigation
Switch language
English
Switch language
Deutsch
English
Español
Français
Italiano
Português do Brasil
中文
Login
ScholarsArchive@OSU
Home
About
Help
Contact
Search ScholarsArchive@OSU
Go
Advanced Search
APA
Groce, A., Havelund, K., Holzmann, G., Joshi, R., & Xu, R.
(2014).
Establishing Flight Software Reliability: Testing, Model Checking, Constraint-Solving, Monitoring and Learning.
: Springer.