Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A framework for the development and assurance of high integrity software / / Dolores R. Wallace, Laura M. Ippolito
| A framework for the development and assurance of high integrity software / / Dolores R. Wallace, Laura M. Ippolito |
| 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 |
| Altri autori (Persone) |
IppolitoLaura M
WallaceDolores R |
| Collana | NIST special publication |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910711185403321 |
Wallace Dolores R
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
High integrity software standards and guidelines / / Dolores R. Wallace, Laura M. Ippolito, D. Richard Kuhn
| High integrity software standards and guidelines / / Dolores R. Wallace, Laura M. Ippolito, D. Richard Kuhn |
| Autore | Wallace Dolores R |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1992 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
IppolitoLaura M
KuhnD. Richard WallaceDolores R |
| Collana | NIST special publication |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910711187003321 |
|
Wallace Dolores R
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the digital systems reliability and nuclear safety workshop September 13-14, 1993 / / D. R. Wallace, B. B. Cuthill, L. M. Ippolito, L. Beltracchi
| Proceedings of the digital systems reliability and nuclear safety workshop September 13-14, 1993 / / D. R. Wallace, B. B. Cuthill, L. M. Ippolito, L. Beltracchi |
| 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 |
| Altri autori (Persone) |
BeltracchiL
CuthillBarbara B IppolitoLaura M WallaceDolores R |
| Collana | NIST special publication |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910711186103321 |
|
Wallace Dolores R
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Reference information for the software verification and validation process / / Dolores R. Wallace, Laura M. Ippolito, Barbara B. Cuthill
| Reference information for the software verification and validation process / / Dolores R. Wallace, Laura M. Ippolito, Barbara B. Cuthill |
| Autore | Wallace Dolores R |
| Pubbl/distr/stampa | Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1996 |
| Descrizione fisica | 1 online resource |
| Altri autori (Persone) |
CuthillBarbara B
IppolitoLaura M WallaceDolores R |
| Collana | NIST special publication |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910711184603321 |
|
Wallace Dolores R
|
||
| Gaithersburg, MD : , : U.S. Dept. of Commerce, National Institute of Standards and Technology, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||