Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications
| Cím | Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2009 |
| Szerzők | Bartha, T., and Német, E. |
| Szerkesztő | Cofer, D., and Fantechi, A. |
| Könyvcím | Formal Methods for Industrial Critical Systems |
| Pagination | 199 - 214 |
| Kiadó | Springer Verlag |
