Overview
Part of the book series: Dependable Computing and Fault-Tolerant Systems (DEPENDABLECOMP, volume 9)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (38 papers)
-
Formal Methods for Critical Systems
-
Panel Session: Formal Methods for Safety in Critical Systems
-
Combining the Fault-Tolerance, Security and Real-Time Aspects of Computing
-
Secure Systems
-
Assessment of Dependability
Editors and Affiliations
Bibliographic Information
Book Title: Dependable Computing for Critical Applications 4
Editors: Flaviu Cristian, Gerard Lann, Teresa Lunt
Series Title: Dependable Computing and Fault-Tolerant Systems
DOI: https://doi.org/10.1007/978-3-7091-9396-9
Publisher: Springer Vienna
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag/Wien 1995
Softcover ISBN: 978-3-7091-9398-3Published: 12 February 2012
eBook ISBN: 978-3-7091-9396-9Published: 06 December 2012
Series ISSN: 0932-5581
Edition Number: 1
Number of Pages: VIII, 499
Topics: Special Purpose and Application-Based Systems, Automotive Engineering, Software Engineering, Artificial Intelligence