Experiences using lightweight formal methods for requirements modeling
Edición de la obra Experiences using lightweight formal methods for requirements modeling
| Autor | S. M. Easterbrook |
|---|---|
| Editorial | National Aeronautics and Space Administration, National Technical Information Service, distributor |
| Fecha de publicación | 1997 |
| Lugar | [Washington, DC, Springfield, Va |
| Idioma | inglés |
| Formato | Microform |
| OCLC | 41394923 |
| Serie | NASA contractor report -- NASA CR-207044. |
| Número de Cutter | E13e |