URN:NBN:SI:doc-7LV6676R2018Boucerredj, LeilaDebbache, NasrEddinedocuments/doc/7/URN_NBN_SI_doc-7LV6676R_001.pdfdocuments/doc/7/URN_NBN_SI_doc-7LV6676R_001.txt342articlestr. 439-4500350-559631928871URN:NBN:SI:doc-7LV6676RengSlovensko društvo InformatikaInformatica (Ljubljana)BYavtomatski sistemiinformatikaoptimizacijaprogramjeQualitative and quantitative optimization for dependability analysis