{"_id":"ZBpXzWbYaBqs3DPEX","bibbaseid":"rushby-formalspecificationandverificationofafaultmaskingandtransientrecoverymodelfordigitalflightcontrolsystems-1992","author_short":["Rushby, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[{"propositions":[],"lastnames":["Rushby"],"firstnames":["John"],"suffixes":[]}],"year":"1992","note":"tex.ids= rushbyFormalSpecificationVerification1992a","pages":"237–257","bibtex":"@inproceedings{rushby_formal_1992,\n\ttitle = {Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems},\n\tdoi = {10/bw9zqk},\n\tbooktitle = {International {Symposium} on {Formal} {Techniques} in {Real}-{Time} and {Fault}-{Tolerant} {Systems}},\n\tpublisher = {Springer},\n\tauthor = {Rushby, John},\n\tyear = {1992},\n\tnote = {tex.ids= rushbyFormalSpecificationVerification1992a},\n\tpages = {237--257},\n}\n\n","author_short":["Rushby, J."],"key":"rushby_formal_1992","id":"rushby_formal_1992","bibbaseid":"rushby-formalspecificationandverificationofafaultmaskingandtransientrecoverymodelfordigitalflightcontrolsystems-1992","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","specification","verification","fault","masking","transient","recovery","model","digital","flight","control","systems","rushby"],"title":"Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems","year":1992}