Item Details

Print View

Reliability of Safety-Critical Software Systems:Verification of a Formally Defined User Interface Through Specification Analysis

Ackert, Julian
Format
Book
Published
1997
Language
English
Notes
Computer Science
Technical Details
  • Access in Virgo Classic
  • Staff View

    LEADER 00466cam a2200145 4500
    001 u2758708
    003 SIRSI
    008 000000s1997 000 0 eng u
    100
      
      
    a| Ackert, Julian
    245
      
      
    a| Reliability of safety-critical software systems:verification of a formally defined user interface through specification analysis
    260
      
      
    c| 1997
    500
      
      
    a| Computer Science
    596
      
      
    a| 14
    999
      
      
    a| CS 970032 w| ALPHANUM i| X004199093 l| BY-REQUEST m| IVY t| THESIS-4TH
▾See more
▴See less

Availability

Library Location Map Availability Call Number
Ivy Stacks N/A Available