NASA Office of Safety and Mission Assurance, Washington, DC. Formal Methods Specification and Verification Guidebook for Software and Computer Systems, Volume I: Planning and Technology Insertion, July 1995. NASAGB -002-95, Release 1.0. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
High-Automation Proofs for Properties of Requirements Models - Di Vito (1999) (1 citation) (Correct)
Experiences Using Formal Methods for Requirements.. - Easterbrook, Lutz.. (1996) (4 citations) (Correct)
Experiences Using Formal Methods for Requirements.. - Easterbrook, Lutz.. (1996) (4 citations) (Correct)
High-Automation Proofs for Properties of Requirements Models - Di Vito (1999) (1 citation) (Correct)
Experiences Using Lightweight Formal Methods for.. - Easterbrook.. (1998) (23 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC