Facilitating the Maintenance of Safety-Critical Systems (1994)  (Make Corrections)  (5 citations) Gerald C. Gannod, Betty H. C. Cheng   Home/Search   Context   Related

View or download: msu.edu/pub/serg/r...jseke94reverse.ps asu.edu/~gannod/Pa...ke94reverse.ps.gz 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:  msu.edu (more) From:  asu.edu/~gannod/pubs (Enter author homepages)

Rate this article: (best)   Comment on this article

@misc{ gannod94facilitating,
  author = "G. Gannod and B. Cheng",
  title = "Facilitating the Maintenance of Safety-Critical Systems Using Formal Methods",
  text = "Gerald C. Gannod and Betty H.C. Cheng. Facilitating the Maintenance of
    Safety-Critical Systems Using Formal Methods. The International Journal
    of Software Engineering and Knowledge Engineering, 4(2):183--204, 1994.",
  year = "1994",
  url = "citeseer.ist.psu.edu/gannod94facilitating.html" }