Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Perez Ivan (Research scientist) Visualizza persona
Titolo: Integrating FRET with copilot : automated translation of natural language requirements to runtime monitors / / Ivan Perez [and four others] Visualizza cluster
Pubblicazione: Moffett Field, CA : , : National Aeronautics and Space Administration, Ames Research Center, , January 2022
Descrizione fisica: 1 online resource (25 pages) : color illustrations
Soggetto topico: Aircraft pilots
Natural language (computers)
Note generali: "January 2022."
Nota di bibliografia: Includes bibliographical references (pages 14-17).
Altri titoli varianti: Integrating FRET with copilot
Titolo autorizzato: Integrating FRET with copilot  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910717247403321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui