Formal verification of function block based specifications of safety-critical software
| Cím | Formal verification of function block based specifications of safety-critical software |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2006 |
| Szerzők | Németh, E., and Bartha, T. |
| Szerkesztő | Monostori, L., and Ilie-Zudor, E. |
| Könyvcím | Proceedings of the 8th International Conference on The Modern Information Technology in the Innovation Processes of the Industrial Enterprises |
| Pagination | 211 - 218 |
| Kiadó | MTA SZTAKI - Amulett'98 |
| Város | Budapest |
