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

CímFormal verification of function block based specifications of safety-critical software
Közlemény típusaBook Chapter
Kiadás éve2006
SzerzőkNémeth, E., and Bartha, T.
SzerkesztőMonostori, L., and Ilie-Zudor, E.
KönyvcímProceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises
Pagination211 - 218
KiadóMTA SZTAKI - Amulett'98
VárosBudapest