Rushby, J. (1991). Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems.
Chicago-Zitierstil (17. Ausg.)Rushby, John. Formal Specification and Verification of a Fault-masking and Transient-recovery Model for Digital Flight-control Systems. Stanford, Calif, 1991.
MLA-Zitierstil (9. Ausg.)Rushby, John. Formal Specification and Verification of a Fault-masking and Transient-recovery Model for Digital Flight-control Systems. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.