Login / Signup

Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems.

John M. Rushby
Published in: FTRTFT (1992)
Keyphrases
  • formal specification
  • databases
  • object oriented
  • fault diagnosis
  • specification language