Lecture Notes in Computer Science

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 Preview

Buy this book

eBook 71,39 €
price for Spain (gross)
  • ISBN 978-3-540-40891-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-41186-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (36 chapters)

  • The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems

    Gilb, Tom

    Pages 1-13

  • Empirical Assessment of Software On-Line Diagnostics Using Fault Injection

    Napier, John (et al.)

    Pages 14-26

  • Speeding-Up Fault Injection Campaigns in VHDL Models

    Parrotta, B. (et al.)

    Pages 27-36

  • Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs

    Katwijk, Jan (et al.)

    Pages 37-52

  • Validation of Control System Specifications with Abstract Plant Models

    Zhang, Wenhui

    Pages 53-63

Buy this book

eBook 71,39 €
price for Spain (gross)
  • ISBN 978-3-540-40891-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-41186-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

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