Formal verification of function block based specifications of safety-critical software
Title | Formal verification of function block based specifications of safety-critical software |
Publication Type | Book Chapter |
Year of Publication | 2006 |
Authors | Németh, E., and Bartha, T. |
Editor | Monostori, L., and Ilie-Zudor, E. |
Book Title | Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises |
Pagination | 211 - 218 |
Publisher | MTA SZTAKI - Amulett'98 |
City | Budapest |