Safe Comp 96

The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23–25 1996

Editors: Schoitsch, Erwin (Ed.)

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-1-4471-0937-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-76070-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

SAFECOMP '96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to discuss and review their experiences, to consider the best technologies currently available, and to identify the skills and technologies required for the future. SAFECOMP '96 focuses on critical computer applications and is intended as a platform for technology transfer between academia, industry and research institutions. SAFECOMP '96 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security.

Table of contents (39 chapters)

  • Systematic Design of Fault-Tolerant Computers

    Avižienis, Algirdas

    Pages 3-18

  • Formal Verification of Safety Requirements on Complex Systems

    Bernardeschi, Cinzia (et al.)

    Pages 21-30

  • Formal Specification of Safety-Critical Software with Z and Real-Time CSP

    Heisel, Maritta (et al.)

    Pages 31-45

  • Safety Analysis Based on Object-oriented Modelling of Critical Systems

    Górski, Janusz (et al.)

    Pages 46-60

  • A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems

    Meske, Hans-Peter (et al.)

    Pages 61-70

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-1-4471-0937-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-76070-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Safe Comp 96
Book Subtitle
The 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria October 23–25 1996
Editors
  • Erwin Schoitsch
Copyright
1997
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London Limited
eBook ISBN
978-1-4471-0937-2
DOI
10.1007/978-1-4471-0937-2
Softcover ISBN
978-3-540-76070-2
Edition Number
1
Number of Pages
XVII, 425
Number of Illustrations and Tables
28 b/w illustrations
Topics