A framework for the development and assurance of high integrity software / / Dolores R. Wallace, Laura M. Ippolito

• Record Nr.: UNINA9910711185403321
• Autore: Wallace Dolores R
• Pubbl/distr/stampa: Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1994
• Descrizione fisica: 1 online resource
• Collana: NIST special publication ; ; 500-223
• Altri autori (Persone): IppolitoLaura M; WallaceDolores R
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: 1994.; Contributed record: Metadata reviewed, not verified. Some fields updated by batch processes.; Title from PDF title page.
• Nota di bibliografia: Includes bibliographical references.