Skip to main content

Computer Safety, Reliability and Security

18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

  • Conference proceedings
  • © 1999


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

Included in the following conference series:

Conference proceedings info: SAFECOMP 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

The European Commission emphasizes, in its Fifth Research Framework, the “. . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of embedded and networked systems and services as well as from the global and complex nature of large scale information and communication infrastructures, from citizens, administrations and business in terms of technologies, tools, systems, applications and services". The series of Conference on Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these requirements by reviewing the state of the art, experiences, and new trends in the relevant scientific and industrial areas. Safecomp is intended to be a platform for technology transfer among academia, industry, and research institutions, providing the opportunity for exchange of ideas, opinions, and visions among experts. This year Safecomp celebrates the 20th anniversary, its first Conference having been organized in Stuttgart by EWICS (European Workshop on Industrial Computer Systems) in 1979, and we hope these Proceedings will contribute to the celebration by supporting Safecomp aims. The Proceedings include the 25 papers that have been presented orally at the Conference and the full version of the 14 papers that have been presented as posters, all of which were selected from 76 submissions. Papers almost uniformly take up Safecomp topics, dealing with the issues of Safety Assessment and Human Factors, Verification and Validation, Design for Safety, Formal Methods, and Security.

Similar content being viewed by others


Table of contents (40 papers)

  1. Invited Talk

  2. Assessment and Certification

  3. Human Factors

  4. Safety Assessment

  5. Design for Safety (Poster Session)

Other volumes

  1. Computer Safety, Reliability and Security

Authors, Editors and Affiliations

  • ENEA (sp 088), Roma, Italy

    Massimo Felici, Alberto Pasquini

  • LAAS-CNRS, Toulouse Cedex 4, France

    Karama Kanoun

Bibliographic Information

Publish with us