Integrating FRET with copilot : automated translation of natural language requirements to runtime monitors /

Bibliographic Details
Main Author: Perez, Ivan (Research scientist) (Author)
Format: Government Document eBook
Language:English
Published: Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, January 2022.
Series:NASA technical memorandum ; 20220000049.
Subjects:
Online Access:https://purl.fdlp.gov/GPO/gpo176311
Description
Item Description:"January 2022."
GPO Cataloging Record Distribution Program (CRDP).
Physical Description:1 online resource (25 pages) : color illustrations.
Bibliography:Includes bibliographical references (pages 14-17).