Integrating FRET with copilot : automated translation of natural language requirements to runtime monitors / Ivan Perez [and four others].
| Author/creator | Perez, Ivan author. |
| Other author | Ames Research Center issuing body. |
| Format | Electronic |
| Publication | Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, January 2022. |
| Description | 1 online resource (25 pages) : color illustrations. |
| Supplemental Content | https://purl.fdlp.gov/GPO/gpo176311 |
| Portion of title | Automated translation of natural language requirements to runtime monitors |
| Variant title | Integrating Formal Requirement Elicitation Tool with copilot : automated translation of natural language requirements to runtime monitors |
| Series | NASA/TM ; 20220000049 NASA technical memorandum ; 20220000049. ^A467613 |
| General note | "January 2022." |
| General note | GPO Cataloging Record Distribution Program (CRDP). |
| Bibliography note | Includes bibliographical references (pages 14-17). |
| Report note | Technical memorandum. |
| Source of description | Description based on online resource, PDF version; title from title page (NASA, viewed on March 22, 2022). |
| GPO item number | 0830-D (online) |
| Govt. docs number | NAS 1.15:20220000049 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |