Research Catalog

Automated verification of specifications with typestates and access permissions

Title
Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.
Author
Siminiceanu, Radu I.
Publication
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]

Available Online

https://purl.fdlp.gov/GPO/gpo16668

Details

Additional Authors
  • Cataño, Néstor
  • Langley Research Center. https://id.oclc.org/worldcat/entity/E39QQPVp7MByGJ9vW6kyfqTqp6
Description
1 online resource (31 pages).
Series Statement
NASA/CR ; 2011-217170
Uniform Title
NASA contractor report ; NASA CR-217170.
Subject
  • Specifications
  • Algorithms
Note
  • Title from title screen (viewed on Dec. 21, 2011).
  • "August 2011."
Bibliography (note)
  • Includes bibliographical references (pages 19-20).
Funding (note)
  • Prepared cooperative agreement
Call Number
GPO Internet NAS 1.26:2011-217170
OCLC
768998146
Author
Siminiceanu, Radu I.
Title
Automated verification of specifications with typestates and access permissions / Radu I. Siminiceanu, Néstor Cataño.
Imprint
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011]
Type of Content
text
Type of Medium
computer
Type of Carrier
online resource
Series
NASA/CR ; 2011-217170
NASA contractor report ; NASA CR-217170. http://id.loc.gov/authorities/names/n83825229
Bibliography
Includes bibliographical references (pages 19-20).
Funding
Prepared cooperative agreement NNX08AC59A 534723.02.02.07.40
Connect to:
https://purl.fdlp.gov/GPO/gpo16668
Added Author
Cataño, Néstor.
Langley Research Center.
Gpo Item No.
0830-H-14 (online)
Sudoc No.
NAS 1.26:2011-217170
Research Call Number
GPO Internet NAS 1.26:2011-217170
View in Legacy Catalog