Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis.

Kumiko Tadano Jianwen Xiang Masahiro Kawato Yoshiharu Maeno Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis. 5-6 2011 SSIRI (Companion) https://doi.org/10.1109/SSIRI-C.2011.44 https://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2011.44 conf/ssiri/2011c db/conf/ssiri/ssiri2011c.html#TadanoXKM11