Lecture Notes in Computer Science

Dependable Computing - EDCC-1

First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings

Editors: Echtle, Klaus, Hammer, Dieter, Powell, David (Eds.)

Buy this book

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

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.

Table of contents (40 chapters)

  • A model for adaptive fault-tolerant systems

    Hiltunen, Matti A. (et al.)

    Pages 1-20

  • Designing secure and reliable applications using fragmentation-redundancy-scattering: an object-oriented approach

    Fabre, Jean-Charles (et al.)

    Pages 21-38

  • A fault-tolerant mechanism for simple controllers

    Silva, João Gabriel (et al.)

    Pages 39-55

  • Formal semantics for Ward & Mellor's transformation schemas and the specification of fault-tolerant systems

    Petersohn, Carsta (et al.)

    Pages 57-76

  • Formal reasoning on fault coverage of fault tolerant techniques: A case study

    Bernardeschi, Cinzia (et al.)

    Pages 77-94

Buy this book

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

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Dependable Computing - EDCC-1
Book Subtitle
First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings
Editors
  • Klaus Echtle
  • Dieter Hammer
  • David Powell
Series Title
Lecture Notes in Computer Science
Series Volume
852
Copyright
1994
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48785-2
DOI
10.1007/3-540-58426-9
Softcover ISBN
978-3-540-58426-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIX, 625
Topics