SearchPublisher and Institutes
You are here: Home :: Keyword index :: eth bis gen :: forêt sempervivante et décidue - Fourier-transform infrared spectroscopy 
formal verification
Items for "formal verification"
Prediction of Potential Operator Errors for Safety Critical System Designs
The thesis tackles the consideration of the human factor in the design of highly-automated aircraft cockpits...
Keywords: human information processing, human centered design, Simulation, formal verification
06/2006 | it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag