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