Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference SAFECOMP (Conference) (22nd : 2003 : Edinburgh, Scotland)
Title Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings / Stuart Anderson, Massimo Felici, Bev Littlewood (eds.).
Imprint Berlin ; New York : Springer, [2003]
©2003

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference SAFECOMP (Conference) (22nd : 2003 : Edinburgh, Scotland)
Series Lecture notes in computer science ; 2788
Lecture notes in computer science ; 2788.
Subject Computer software -- Reliability -- Congresses.
Electronic digital computers -- Reliability -- Congresses.
Computer security -- Congresses.
Industrial safety -- Congresses.
Alt Name Anderson, Stuart, 1952-
Felici, Massimo, 1973-
Littlewood, B. (Beverley)
Description xix, 426 pages : illustrations ; 24 cm.
Bibliography Note Includes bibliographical references and index.
Contents Keynote talk -- Formal methods -- Design for dependability -- Security and formal methods -- Keynote talk -- Dependability and performance analysis -- Dependability of medical systems -- Fault tolerance -- Tools for dependable design -- Dependability of critical infrastructures -- Hazard and safety analysis -- Design for dependability.
Access Available to OhioLINK libraries.
Reproduction Electronic reproduction. Columbus, OH : OhioLINK, 2008.
System Details Mode of access: World Wide Web.
ISBN 3540201262 (softcover : alk. paper)
9783540201267 (softcover : alk. paper)
OCLC # 644324698
Link OhioLINK electronic book center (OCoLC)180989150
SpringerLink (OCoLC)43927870
Additional Format International Conference on Computer Safety, Reliability, and Security (22nd : 2003 : Edinburgh, Scotland) Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings (OCoLC)52980863


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team