[ACM Press the 2013 Middleware Doctoral Symposium - Beijing, China (2013.12.09-2013.12.13)] Proceedings of the 2013 Middleware Doctoral Symposium on - MDS '13 - Minimal cut sequence generation for state/event fault trees
Xu, Bingfeng, Huang, Zhiqiu, Hu, Jun, Wei, Ou, Zhou, YuYear:
2013
Language:
english
DOI:
10.1145/2541534.2541592
File:
PDF, 439 KB
english, 2013