SAFECOMPInternational Conference on Computer Safety, Reliability, and Security
References in periodicals archive ?
Villatte, "Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools," in Proceedings of the International Conference on Computer Safety, Reliability and Security (SafeComp), Trondheim, Norway, 1991.
[21.] Carloni M., Ferrante O, Ferrari A., Massaroli G., Orazzo A., Petrone I., Velardi L., "Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System", SAFECOMP 2014, Firenze
and Palin R., "Safety cases and their role in ISO 26262 functional safety assessment," in SAFECOMP, 2013.
Computer system survivability modelling by using stochastic activity network, in Safecomp Conference Proceedings, 71-84.