Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems (1991)  (Make Corrections)  (15 citations) John RushbyFormal Techniques in Real-Time and Fault-Tolerant Systems 2nd International Symposium   Home/Search   Context   Related Links:   ACM   DBLP

View or download: nasa.gov/pub/techreports/...cr4384.ps.Z Cached:  PS.gz  PS  PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.   PS.gz  PS  PDF   Image  Update  Help From:  nasa.gov/ltrs/1991 (more) (Enter author homepages)

Rate this article: (best)   Comment on this article

@inproceedings{ rushby92formal,
    author = "John Rushby",
    title = "Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems",
    booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems 2nd International Symposium",
    volume = "571",
    publisher = "Spring{\-}er-Ver{\-}lag",
    address = "Nijmegen, The Netherlands",
    editor = "J. Vytopil",
    pages = "237--258",
    year = "1992",
    url = "citeseer.ist.psu.edu/rushby91formal.html" }