Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis.

Kumiko Tadano, Jianwen Xiang, Masahiro Kawato, Yoshiharu Maeno

Browse the full SAFECOMP paper archive.