DEPTH-FIRST EVENT ORDERING IN BDD-BASED FAULT TREE ANALYSIS

Bibliographic Details
Main Authors: Mo, Yuchang (Author), Zhong, Farong (Author), Liu, Huawen (Author), Yang, Quansheng (Author), Cui, Gang (Author)
Format: Article
Language:Slovak
English