Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.

Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen

Browse the full SAFECOMP paper archive.