Meinten Sie:
keywords:(nano)
Aerospace Software Engineering Works
A Methodology for Software Specification and Development based on Simulation
A Practical Experience of ADA for Developing Embedded Software
A Survey of Available Tools and Methods for Software Requirements Capture and Design
Code Generation for Fast DSP-Based Real-Time Control
Common ADA Missile Packages (CAMP)
Complex system modelling with fault trees and stochastic processes
Coprocessor Support for Real-Time ADA
Development and Verification of Software for Flight Safety Critical Systems
Failure mode, effect and criticality analysis
Formal Specification of Satellite Telemetry: A Practical Experience
Formal Verification of a Redundancy Management Algorithm
Guidance Software Development Workshop
Military and Civil Software Standards and Guidelines for Guidance and Control
NATO reqiurements as referred to risk in executed contracts
Network Programming: A Design Method and Programming Strategy for Large Software Systems
Process/Object-Oriented ADA Software Design for an Experimental Helicopter
Requirements and Traceability Management