Liknande böcker

Information Processing and Security Systems
Bok av Khalid. Saeed
Information Security Applications : 11th International Workshop, WISA 20...
Bok av Yongwha. Chung
Vlsi-Soc: From Systems To Silicon : Proceedings of IFIP TC 10, WG 10.5,...
Bok av Ricardo. Reis
Ad Hoc Networks : 4th International ICST Conference, ADHOCNETS 2012, Par...
Bok av Jun. Zheng
Reliability of Computer Systems and Networks : Fault Tolerance, Analysis...
Bok av Shooman Martin L Shooman
Web Services and Formal Methods : 5th International Workshop, WS-FM 2008...
Bok av Roberto. Bruni
Wireless and Mobile Networking : Second IFIP WG 6.8 Joint Conference, WM...
Bok av Jozef. Wozniak
Data and Applications Security XXII : 22nd Annual IFIP WG 11.3 Working C...
Bok av David. Hutchison

Computer Safety, Reliability, and Security : 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000 Proceedings

Bok av Floor Koornneef
The papers presented here are organized in topical sections on verification and validation, software process improvement, formal methods, safety guidelines, standards and certification hardware aspects, safety assessment, design for safety and transport, and infrastructure.