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

Update Item