Systematic Development of Markov Models for the 1oo2D Programmable Electronic System Architecture - Analysis of Safety and Availability.

William M. Goble, Julia V. Bukowski, Aarnout C. Brombacher

Browse the full SAFECOMP paper archive.