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
ElectronicResource GovDoc
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