Computer Safety, Reliability, and Security
| ISBN: | 9783540411864 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 438 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Koornneef, Floor Meulen, Meine van der |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 11.10.2000 |
| Untertitel: | 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings |
| Schlagworte: | Computer Safety Dependable Systems Formal Methods Reactive Systems Reliable Computing Safety-Critical Systems Safety Assessment Software Validation Systems Security Systems Verification |