- Additional Authors
- Ames Research Center, issuing body.
- Description
- 1 online resource (25 pages) : color illustrations.
- Series Statement
- NASA/TM ; 20220000049
- Uniform Title
- NASA technical memorandum ; 20220000049.
- Alternative 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
- Subject
- Note
- Bibliography (note)
- Includes bibliographical references (pages 14-17).
- Type of Report (note)
- Source of Description (note)
- Description based on online resource, PDF version; title from title page (NASA, viewed on March 22, 2022).
- Call Number
- GPO Internet NAS 1.15:20220000049
- OCLC
- marcive1304905125
- Author
Perez, Ivan (Research scientist), author.
- Title
Integrating FRET with copilot : automated translation of natural language requirements to runtime monitors / Ivan Perez [and four others].
- Publisher
Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, January 2022.
- Type of Content
text
- Type of Medium
computer
- Type of Carrier
online resource
- Series
NASA/TM ; 20220000049
NASA technical memorandum ; 20220000049.
- Bibliography
Includes bibliographical references (pages 14-17).
- Type Of Report
Technical memorandum.
- Connect to:
- Added Author
Ames Research Center, issuing body.
- Gpo Item No.
0830-D (online)
- Sudoc No.
NAS 1.15:20220000049