A concept for certification of an army MLS management information system
An example of risk assessment of software systems specifications
Development of an aircraft performance risk assessment model
Escape, evacuation, and rescue modeling for frontier offshore installations
Specification based prototyping of control systems
Assurance technology for growing system and its application to Tokyo Metropolitan Railway Network
Pricing and managing a maintenance contract for a fleet of aircraft engines
Risk assessment of software-system specifications