Lecture Notes in Computer Science
© 2000
Computer Safety, Reliability, and Security
19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
Editors: Koornneef, Floor, Meulen, Meine van der (Eds.)
Free PreviewBuy this book
- Table of contents (36 chapters)
-
-
The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems
Pages 1-13
-
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
Pages 14-26
-
Speeding-Up Fault Injection Campaigns in VHDL Models
Pages 27-36
-
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
Pages 37-52
-
Validation of Control System Specifications with Abstract Plant Models
Pages 53-63
-
Table of contents (36 chapters)
Read this book on SpringerLink
- Download Sample pages 1 PDF (39.3 KB)
- Download Table of contents PDF (49.8 KB)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Computer Safety, Reliability, and Security
- Book Subtitle
- 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
- Editors
-
- Floor Koornneef
- Meine van der Meulen
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- 1943
- Copyright
- 2000
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-40891-8
- DOI
- 10.1007/3-540-40891-6
- Softcover ISBN
- 978-3-540-41186-4
- Series ISSN
- 0302-9743
- Edition Number
- 1
- Number of Pages
- X, 438
- Topics