SAFECOMP ’93

The 12th International Conference on Computer Safety, Reliability and Security

Editors: Gorski, Janusz (Ed.)

Free Preview

Buy this book

eBook 71,39 €
price for Spain (gross)
  • ISBN 978-1-4471-2061-2
  • 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-19838-3
  • 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
About this book

The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP'93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the International Program Com­ mittee of the Conference. The authors of the papers come from 16 different countries. The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech­ nology, computer languages for safety related systems, reactive systems technology, security and safety related applications. As to its wide international coverage, unique way of combining partici­ pants from academia, research and industry and topical coverage, SAFECOMP is outstanding among the other related events in the field.

Table of contents (34 chapters)

  • Safety — status and perspectives

    Anderson, Tom

    Pages 3-6

    Preview Buy Chapter 30,19 €
  • Data Flow Control Systems: an Example of Safety Validation

    Bernardeschi, Cinzia (et al.)

    Pages 9-20

    Preview Buy Chapter 30,19 €
  • Validating Safety Models with Fault Trees

    Bruns, Glenn (et al.)

    Pages 21-30

    Preview Buy Chapter 30,19 €
  • Composition and Refinement of Probabilistic Real-Time Systems

    Liu, Zhiming (et al.)

    Pages 31-40

    Preview Buy Chapter 30,19 €
  • The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System

    Collinson, Dr. Paul (et al.)

    Pages 41-49

    Preview Buy Chapter 30,19 €

Buy this book

eBook 71,39 €
price for Spain (gross)
  • ISBN 978-1-4471-2061-2
  • 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-19838-3
  • 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
SAFECOMP ’93
Book Subtitle
The 12th International Conference on Computer Safety, Reliability and Security
Editors
  • Janusz Gorski
Copyright
1993
Publisher
Springer-Verlag London
Copyright Holder
Springer-Verlag London Limited
eBook ISBN
978-1-4471-2061-2
DOI
10.1007/978-1-4471-2061-2
Softcover ISBN
978-3-540-19838-3
Edition Number
1
Number of Pages
XV, 389
Number of Illustrations
4 b/w illustrations
Topics