TY - RPRT TI - A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance AU - Francesco Flammini AU - Stefano Marrone AU - Nicola Mazzocca AU - Valeria Vittorini PY - 2013 DO - 10.1016/j.ress.2009.02.014 UR - https://arxiv.org/abs/1304.6656 ID - 1304.6656 ER -