80
Voted
ICECCS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural depen...