Formal verification of safety functions by reinterpretation of functional block based specifications

Németh, Erzsébet and Bartha, Tamás (2008) Formal verification of safety functions by reinterpretation of functional block based specifications. In: FMICS 2008. 13th international workshop on formal methods for industrial critical systems. L'Aquila, 2008..

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 15:32
Last Modified: 11 Dec 2012 15:32
URI: http://eprints.sztaki.hu/id/eprint/5543

Update Item Update Item