مؤتمر
Fault tree and formal methods in system safety analysis
| العنوان: | Fault tree and formal methods in system safety analysis |
|---|---|
| المؤلفون: | Xiang, J., Futatsugi, K., He, Y. |
| المصدر: | The Fourth International Conference onComputer and Information Technology, 2004. CIT '04. Computer and information technology Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on. :1108-1115 2004 |
| Relation: | Proceedings. The Fourth International Conference on Computer and Information Technology |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 0769522165 9780769522166 |
|---|---|
| DOI: | 10.1109/CIT.2004.1357343 |