Features
- Cover Type: Paperback with 392 pages
- Published by: Springer
- Edition: 1st Edition October 30, 1998
- Written in: English
- ISBN 10 Number: 3540651101
- ISBN 13 Number: 978-3540651109
-
Book Dimensions:
9.3 x 6.1 x 0.7 inches
- Weighs: 1.3 pounds
Product Description
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 thirty 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.