Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /
| Data(s) |
03/07/1985
|
|---|---|
| Resumo |
Bibliography: p. 48. Mode of access: Internet. |
| Identificador | |
| Idioma(s) |
eng |
| Publicador |
Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; Springfield, Va. : For sale by National Technical Information Service, |
| Direitos |
Items in this record are available as Public Domain, Google-digitized. View access and use profile at http://www.hathitrust.org/access_use#pd-google. Please see individual items for rights and use statements. |
| Palavras-Chave | #System design #Computer software #Fault-tolerant computing |
| Tipo |
text |
