Research Catalog

Details

Additional authors

1. Ames Research Center, issuing body.

Description

1. 1 online resource (25 pages) : color illustrations.

Series statement

1. NASA/TM ; 20220000049

Uniform title

1. NASA technical memorandum ; 20220000049.

Alternative title

1. Automated translation of natural language requirements to runtime monitors
2. Integrating Formal Requirement Elicitation Tool with copilot : automated translation of natural language requirements to runtime monitors

Subject

1. Aircraft pilots
2. Natural language (computers)

Call number

1. GPO Internet NAS 1.15:20220000049

Note

1. "January 2022."

Bibliography (note)

1. Includes bibliographical references (pages 14-17).

Type of report (note)

1. Technical memorandum.

Source of description (note)

1. Description based on online resource, PDF version; title from title page (NASA, viewed on March 22, 2022).

Author

1. Perez, Ivan (Research scientist), author.

Title

1. Integrating FRET with copilot : automated translation of natural language requirements to runtime monitors / Ivan Perez [and four others].

Publisher

1. Moffett Field, CA : National Aeronautics and Space Administration, Ames Research Center, January 2022.

Type of content

1. text

Type of medium

1. computer

Type of carrier

1. online resource

Series

1. NASA/TM ; 20220000049
2. NASA technical memorandum ; 20220000049.

Bibliography

1. Includes bibliographical references (pages 14-17).

Type of report

1. Technical memorandum.

Connect to:

1. https://purl.fdlp.gov/GPO/gpo176311

Added author

1. Ames Research Center, issuing body.

Gpo item no.

1. 0830-D (online)

Sudoc no.

1. NAS 1.15:20220000049