Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems. Rushby, J. In International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 237–257, 1992. Springer. tex.ids= rushbyFormalSpecificationVerification1992a
doi  bibtex   
@inproceedings{rushby_formal_1992,
	title = {Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems},
	doi = {10/bw9zqk},
	booktitle = {International {Symposium} on {Formal} {Techniques} in {Real}-{Time} and {Fault}-{Tolerant} {Systems}},
	publisher = {Springer},
	author = {Rushby, John},
	year = {1992},
	note = {tex.ids= rushbyFormalSpecificationVerification1992a},
	pages = {237--257},
}

Downloads: 0