Did you mean:
+keyword:(flight safety)
•
+keywords:(light safety)
•
+keyword:(light safety)
Integrated toolset for high-integrity system verification and validation support (avionics)
Reducing the risks of using Ada onboard the Space Station
Reliability modeling for safety-critical software