Formal verification of function block based specifications of safety-critical software

Németh, Erzsébet and Bartha, Tamás (2006) Formal verification of function block based specifications of safety-critical software. In: MITIP 2006. 8th international conference on the modern information technology in the innovation processes of the industrial enterprises. Budapest, 2006..

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

Update Item Update Item