| Verifikation und Validierung sicherheitsgerichteter SPS-Programme. | 0 | 0.34 | 2013 |
| Transformation of Function Block Diagrams to UPPAAL timed automata for the verification of safety applications. | 12 | 0.76 | 2012 |
| Towards an automated verification process for industrial safety applications. | 1 | 0.43 | 2011 |
