Thomas Mertke

According to our database¹, Thomas Mertke authored at least 3 papers between 2000 and 2004.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2004

Formale Spezifikation reaktiver Systeme mit einer Sicherheitsfachsprache.

[BibT_eX]

[DOI]

PhD thesis, 2004

2001

Formal verification of PLC programs generated from signal interpreted Petri nets.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2001

2000

Methods and tools to the verification of safety-related control software.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000