On-line system verification applying an automatic fault-tree generation method integrated into development tools
Gáspár, Péter and Szabó, Zoltán (1999) On-line system verification applying an automatic fault-tree generation method integrated into development tools. In: Safety and reliability. Proceedings of ESREL '99. - the tenth European conference. Munich, 1999. Vol. 2..
Full text not available from this repository.| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > QA Mathematics and Computer Science > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| Divisions: | Systems and Control Lab |
| Depositing User: | Eszter Nagy |
| Date Deposited: | 11 Dec 2012 14:57 |
| Last Modified: | 11 Dec 2012 14:57 |
| URI: | https://eprints.sztaki.hu/id/eprint/1963 |
![]() |
Update Item |



