| Title | On the development of dependability-evaluation workbench for high-assurance system designers |
| Publication Type | Journal Article |
| Authors | AT Tai, KS Trivedi, and H Hecht |
| Journal | Proceedings 1997 High Assurance Engineering Workshop |
| Date Published | / |
| DOI | 10.1109/hase.1997.648031 |
| Short Title | Proceedings 1997 High Assurance Engineering Workshop |