Advertisement

Computer Safety, Reliability and Security

19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings

  • Floor Koornneef
  • Meine van der Meulen
Conference proceedings SAFECOMP 2000

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1943)

Table of contents

  1. Front Matter
    Pages I-X
  2. Invited Paper

  3. Verification and Validation

    1. John Napier, John May, Gordon Hughes
      Pages 14-26
    2. B. Parrotta, M. Rebaudengo, M. Sonza Reorda, M. Violante
      Pages 27-36
    3. Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson, Janusz Zalewski
      Pages 37-52
    4. A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H., N. Storey
      Pages 86-95
  4. Software Process Improvement

    1. Mohamed Kaaniche, Jean-Claude Laprie, Jean-Paul Blanquart
      Pages 107-116
    2. Peter A. Lindsay, John A. McDermid, David J. Tombs
      Pages 117-130
    3. Wolfgang A. Halang, Peter Vogrin, Matjaz Colnaric
      Pages 141-150
    4. Zdzisław Żurakowski
      Pages 151-164
    5. Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun
      Pages 165-175
    6. Jan Magott, Pawel Skrobanek
      Pages 176-186
  5. Formal Methods

    1. Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald
      Pages 187-197
    2. Thierry Scheurer
      Pages 198-210
    3. R. Bloomfield, D. Craigen, F. Koob, M. Ullmann, S. Wittmann
      Pages 211-226
  6. Invited Paper

    1. Maarten Steinbuch
      Pages 227-239
  7. Safety Guidelines, Standards and Certification

  8. Hardware Aspects

    1. Michel Houtermans, George Apostolakis, Aarnout Brombacher, Dimitrios Karydas
      Pages 275-285
  9. Safety Assessment I

    1. Bev Littlewood, Peter Popov, Lorenzo Strigini
      Pages 294-308
    2. Bjørn Axel Gran, Gustav Dahll, Siegfried Eisinger, Eivind J. Lund, Jan Gerhard Norstrøm, Peter Strocka et al.
      Pages 309-320
  10. Design for Safety

  11. Invited Paper

    1. Peter B. Ladkin
      Pages 344-360
  12. Transport & Infrastructure

  13. Safety Assessment II

    1. Nimal Nissanke, Hamdan Dammag
      Pages 395-405
    2. Mark-Alexander Sujan, Antonio Rizzo, Alberto Pasquini
      Pages 406-419
  14. Back Matter
    Pages 431-432

About these proceedings

Keywords

Computer Safety Dependable Systems Formal Methods Reactive Systems Reliable Computing Safety Assessment Safety-Critical Systems Software Validation Systems Security Systems Verification formal method verification

Editors and affiliations

  • Floor Koornneef
    • 1
  • Meine van der Meulen
    • 2
  1. 1.Safety Science GroupTU DelftBX DelftThe Netherlands
  2. 2.SIMTECHMA RotterdamThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-40891-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41186-4
  • Online ISBN 978-3-540-40891-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site