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
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
Keywords
About this book
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