The Resource Automated verification of specifications with typestates and access permissions, Radu I. Siminiceanu, Néstor Cataño, (electronic resource)

Automated verification of specifications with typestates and access permissions, Radu I. Siminiceanu, Néstor Cataño, (electronic resource)

Label
Automated verification of specifications with typestates and access permissions
Title
Automated verification of specifications with typestates and access permissions
Statement of responsibility
Radu I. Siminiceanu, Néstor Cataño
Creator
Contributor
Subject
Language
eng
Member of
Cataloging source
GPO
http://library.link/vocab/creatorName
Siminiceanu, Radu I
Funding information
Prepared cooperative agreement
Government publication
federal national government publication
Index
no index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
  • technical reports
http://library.link/vocab/relatedWorkOrContributorName
  • Cataño, Néstor
  • Langley Research Center
Series statement
NASA/CR
Series volume
2011-217170
http://library.link/vocab/subjectName
  • Program verification (computers)
  • Specifications
  • Approach control
  • Data flow analysis
  • Algorithms
  • Parallel programming
Label
Automated verification of specifications with typestates and access permissions, Radu I. Siminiceanu, Néstor Cataño, (electronic resource)
Link
http://purl.fdlp.gov/GPO/gpo16668
Instantiates
Publication
Note
  • Title from title screen (viewed on Dec. 21, 2011)
  • "August 2011."
Bibliography note
Includes bibliographical references. (pages 19-20)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm768998146
Dimensions
unknown
Extent
1 online resource (31 pages).
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote
System control number
(Sirsi) a1101378
Label
Automated verification of specifications with typestates and access permissions, Radu I. Siminiceanu, Néstor Cataño, (electronic resource)
Link
http://purl.fdlp.gov/GPO/gpo16668
Publication
Note
  • Title from title screen (viewed on Dec. 21, 2011)
  • "August 2011."
Bibliography note
Includes bibliographical references. (pages 19-20)
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
black and white
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
ocm768998146
Dimensions
unknown
Extent
1 online resource (31 pages).
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Specific material designation
remote
System control number
(Sirsi) a1101378

Library Locations

    • Central Library, Jesse H. Jones BuildingBorrow it
      500 McKinney St., Houston, TX, 77002, US
      29.759431 -95.369953
Processing Feedback ...