Table of contents

  1. Front Matter
  2. Matti A. Hiltunen, Richard D. Schlichting
    Pages 1-20
  3. João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino
    Pages 39-55
  4. Carsta Petersohn, Cornelis Huizing, Jan Peleska, Willem-Paul de Roever
    Pages 57-76
  5. Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
    Pages 77-94
  6. Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini
    Pages 95-114
  7. Andrzej KraŚniewski, Leszek B. Wroński
    Pages 178-195
  8. Henrique Madeira, Mário Rela, Francisco Moreira, João Gabriel Silva
    Pages 197-216
  9. Rolf Johansson
    Pages 217-231
  10. Hong Zhu, P. A. V. Hall, J. H. R. May, T. Cockram
    Pages 233-249
  11. P. Thévenod-Fosse, C. Mazuet, Y. Crouzet
    Pages 250-267
  12. G. Masseboeuf, J. Pulou, J. L. Rainard
    Pages 269-288
  13. Bernd Bieker, Geert Deconinck, Erik Maehle, Johan Vounckx
    Pages 351-370
  14. I. Majzik, A. Pataricza, M. Dal Cin, W. Hohl, J. Hönig, V. Sieh
    Pages 386-403
  15. Algirdas Avizienis
    Pages 409-410
  16. Jan Hlavicka
    Pages 411-411
  17. Michele Morganti
    Pages 412-413
  18. Brian Randell
    Pages 414-416
  19. Ernst Schmitter
    Pages 417-418
  20. Yung-Yuan Chen, Ching-Hwa Cheng, Yung-Ci Chou
    Pages 419-438
  21. Jamel M. Tahir, Satnam S. Dlay, Raouf N. Gorgui-Naguib, Oliver R. Hinton
    Pages 439-452
  22. M. Kaâniche, K. Kanoun, M. Cukier, M. Bastos Martini
    Pages 471-490
  23. Dimiter R. Avresky, Khalid M. Al-Tawil
    Pages 529-545
  24. Chu-Sing Yang, Shun-Yue Wu
    Pages 546-559
  25. P. D. V. van der Stok, M. M. M. P. J. Claessen, D. Alstein
    Pages 599-616
  26. Back Matter

About these proceedings


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.


DOM Dependable Computing Fehlertolerierende Systeme Safety-Critical Systems Sicherheitsrelevante Systeme Software Reliability Software-Zuverlässigkeit System Zuverlässiger Rechnen communication complexity configuration logic operating system processor

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58426-1
  • Online ISBN 978-3-540-48785-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site