Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings / Wolfgang Ehrenberger (ed.).

By: (17th : SAFECOMP (Conference) (17th : 1998 : Heidelberg, Germany)
Contributor(s): Ehrenberger, W. D [edt] | International Conference on Computer Safety, Reliability, and Security, SAFECOMP (17 : 05-10-1998 - 07-10-1998 : Heidelberg, Germamy)
Material type: TextTextSeries: SerienbezeichnungPublisher: Berlin : Springer, ©1998Description: 1 online resource (XVI, 392 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 9783540496465; 3540496467Other title: SAFECOMP'98Subject(s): Computer systems -- Reliability -- Congresses | Computer security -- Congresses | Computer science | Software engineering | Coding theory | Logic design | Systèmes informatiques -- Fiabilité -- Congrès | Sécurité informatique -- Congrès | Coding theory | Computer science | Computer security | Computer systems -- Reliability | Logic design | Software engineering | Computerbeveiliging | Ciencia da computacao ou informatica | Systèmes informatiques -- Mesures de sûreté -- Congrès | Ordinateurs -- Fiabilité -- CongrèsGenre/Form: Electronic books. | Conference papers and proceedings. | Congressen (vorm) Additional physical formats: Print version:: Computer safety, reliability and securityDDC classification: 005.1 LOC classification: QA76.9.A25Other classification: 54.62 | PM 580 Online resources: Click here to access online Summary: This book constitutes the refereed proceedings of the 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP'98, held in Heidelberg, Germany, in October 1998. The 30 revised full papers were carefully reviewed and selected from numerous submissions. The book is divided in sections on formal methods: analysis and specification, management and human factors, security, medical informatics, formal methods: languages and verification, applications, formal methods: Petri nets, and reliability.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Rugtitel: SAFECOMP'98.

With bibliogr. references.

This book constitutes the refereed proceedings of the 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP'98, held in Heidelberg, Germany, in October 1998. The 30 revised full papers were carefully reviewed and selected from numerous submissions. The book is divided in sections on formal methods: analysis and specification, management and human factors, security, medical informatics, formal methods: languages and verification, applications, formal methods: Petri nets, and reliability.

There are no comments for this item.

to post a comment.

Powered by Koha