Computer Safety, Reliability, and Security
19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Floor Koornneef
Themen in »Computer Safety, Reliability, and Security«
Computer Safety Dependable Systems Formal Methods Reactive Systems Reliable Computing Safety Assessment Safety-Critical Systems Software Validation Systems Security Systems Verification formal method verification
Stimmen zu »Computer Safety, Reliability, and Security«
Details
ISBN: 9783540411864
Verlag: Springer Berlin
Erscheinung: 11.10.2000