Heinz Treseler

Publication Activity (10 Years)

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

Publications

Heinz Treseler, Olaf Stursberg, Paul Wai Hing Chung, Shuang-Hua Yang
An Open Software Architecture for the Verification of Industrial Controllers. J. Univers. Comput. Sci. 7 (1) (2001)
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)