Kids Library Home

Welcome to the Kids' Library!

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

Available items only
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]


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.
Subject Program verification (computers).
Approach control.
Data flow analysis.
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