Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications
| Title | Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications |
| Publication Type | Book Chapter |
| Year of Publication | 2009 |
| Authors | Bartha, T., and Német, E. |
| Editor | Cofer, D., and Fantechi, A. |
| Book Title | Formal Methods for Industrial Critical Systems |
| Pagination | 199 - 214 |
| Publisher | Springer Verlag |
