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: http://eprints.sztaki.hu/id/eprint/1963

Update Item Update Item