2 options
Integrating FRET with copilot : automated translation of natural language requirements to runtime monitors / Ivan Perez [and four others].
- Format:
- Book
- Government document
- Author/Creator:
- Perez, Ivan (Research scientist), author.
- Series:
- NASA technical memorandum ; 20220000049.
- NASA/TM ; 20220000049
- Language:
- English
- Physical Description:
- 1 online resource (25 pages) : color illustrations.
- Other Title:
- Automated translation of natural language requirements to runtime monitors
- Integrating Formal Requirement Elicitation Tool with copilot : automated translation of natural language requirements to runtime monitors
- Place of Publication:
- Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, January 2022.
- Notes:
- "January 2022."
- Includes bibliographical references (pages 14-17).
- Description based on online resource, PDF version; title from title page (NASA, viewed on March 22, 2022).
- OCLC:
- 1304905125
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.