Computer safety, reliability and security: the 18th international conference on computer safety, reliability and security, toulouse, france, september 27-29, 1999, proceedings
Auteur :
Felici, Massimo
ISBN :
9783540664888
Date de publication :
15 sept. 1999
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
705 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The topics in this text include safety assessment and human factors, verification and validation, design for safety, and formal methods and security in computers.