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 |