Manuel Remelhe

Publication Activity (10 Years)

Years Active: 1997-2004
Publications (10 Years): 0

Publications

Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg
Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report (2004)
Stefan Kowalewski, Olaf Stursberg, Martin Fritz, Holger Graf, Ingo Hoffmann, Jörg Preußig, Manuel Remelhe, Silke Simon, Heinz Treseler
A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem. Hybrid Systems (1997)