Meinten Sie:
keywords:(nano)
Failure mode, effect and criticality analysis
Complex system modelling with fault trees and stochastic processes
Common ADA Missile Packages (CAMP)
Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Formal Verification of a Redundancy Management Algorithm
Guidance Software Development Workshop
Software Design Considerations for an Airborne Command and Control Workstation
Aerospace Software Engineering Works
The Data Oriented Requirements Implementation Scheme
Formal Specification of Satellite Telemetry: A Practical Experience
Development and Verification of Software for Flight Safety Critical Systems
Software Methodologies for Safety Critical Systems
Requirements and Traceability Management
Military and Civil Software Standards and Guidelines for Guidance and Control
A Practical Experience of ADA for Developing Embedded Software
Coprocessor Support for Real-Time ADA