Record Nr.

UNINA9910705738003321

Autore

Wagner Lucas G.

Titolo

Formal methods tool qualification / / Lucas G. Wagner [and four others]

Pubbl/distr/stampa


Hampton, Virginia : , : National Aeronautics and Space Administration, Langley Research Center, , February 2017

Descrizione fisica

1 online resource (40 pages) : color illustrations

Collana

NASA/CR ; ; 2017-219371

Soggetti

Avionics

Digital systems

Certification

Identifying

Qualifications

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"February 2017."

"Performing organization: NASA Langley Research Center"--Report documentation page."

Nota di bibliografia

Includes bibliographical references (pages 38-40).