Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results
     
Available items only
Previous Record Next Record
E-Book/E-Doc
Author Siminiceanu, Radu I.

Title Automated verification of specifications with typestates and access permissions [electronic resource] / Radu I. Siminiceanu, Nestor Cataņo.

Imprint Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
Connect to
Connect to https://permanent.fdlp.gov/gpo16668/20110014510-2011015139.pdf
Connect to https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20110014510.pdf

Copies

Location Call No. OPAC Message Status
 Axe Federal Documents Online  NAS 1.26:2011-217170    ---  Available
Description 1 online resource (31 p.)
Series NASA/CR ; 2011-217170
NASA contractor report ; NASA CR-217170.
Note Title from title screen (viewed on Dec. 21, 2011).
"August 2011."
Bibliography Includes bibliographical references. (p. 19-20)
Funding Prepared cooperative agreement NNX08AC59A 534723.02.02.07.40
Subject Program verification (computers).
Specifications.
Approach control.
Data flow analysis.
Algorithms.
Parallel programming.
Added Author Cataņo, Nestor.
Langley Research Center.
Gpo Item No. 0830-H-14 (online)
Sudoc No. NAS 1.26:2011-217170

 
    
Available items only