Minimal cut sequence generation for state/event fault trees.
Bingfeng Xu, Zhiqiu Huang, Jun Hu, Ou Wei, Yu Zhou
VenueAMiddleware
Year2013
ProceedingsMiddleware Doctoral Symposium
DBLP recordconf/middleware/XuHHWZ13 ↗
Browse the full Middleware paper archive.