Coverart for item
The Resource Dependable Computing for Critical Applications 4, edited by Flaviu Cristian, Gerard Lann, Teresa Lunt

Dependable Computing for Critical Applications 4, edited by Flaviu Cristian, Gerard Lann, Teresa Lunt

Label
Dependable Computing for Critical Applications 4
Title
Dependable Computing for Critical Applications 4
Statement of responsibility
edited by Flaviu Cristian, Gerard Lann, Teresa Lunt
Creator
Contributor
Subject
Language
eng
Summary
This book contains articles accepted for presentation at the 4th IFIP Working Conference on Dependable Computing for Critical Applications. 21 papers selected from a total of 95 submitted articles address all aspects of dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security and performance. The presentations aim to contribute to a unified understanding and integration of these concepts, so future computer based systems will indeed be more dependable. In addition contributions to three panel sessions are included: The first, entitled "Formal Methods for Safety in Critical Systems" explored the role of formal methods in specifying and assessing system safety; the second, entitled "Qualitative versus Quantitative Assessment of Security?" debated the role that methods based on mathematical logic and stochastic techniques ought to play in assessing system security; and the third entitled "Common Techniques for Fault-tolerance and Security" explored techniques that are useful for attaining both fault-tolerance and security
Member of
http://library.link/vocab/creatorName
Cristian, Flaviu
Dewey number
004.6
Illustrations
illustrations
Index
no index present
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Lann, Gerard
  • Lunt, Teresa
Series statement
Dependable Computing and Fault-Tolerant Systems,
Series volume
9
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Electronic data processing
  • Engineering
Label
Dependable Computing for Critical Applications 4, edited by Flaviu Cristian, Gerard Lann, Teresa Lunt
Instantiates
Publication
Antecedent source
file reproduced from original
Color
mixed
Control code
ocn851379253
Dimensions
unknown
Extent
1 online resource (viii, 499 pages 62 illustrations)
File format
unknown
Form of item
online
Isbn
9783709193969
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)851379253
Label
Dependable Computing for Critical Applications 4, edited by Flaviu Cristian, Gerard Lann, Teresa Lunt
Publication
Antecedent source
file reproduced from original
Color
mixed
Control code
ocn851379253
Dimensions
unknown
Extent
1 online resource (viii, 499 pages 62 illustrations)
File format
unknown
Form of item
online
Isbn
9783709193969
Level of compression
uncompressed
Note
SpringerLink
Quality assurance targets
unknown
Reformatting quality
access
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)851379253

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...