Gunnar Schröter

Publication Activity (10 Years)

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

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Benjamin Braatz, Markus Klein, Gunnar Schröter
Semantical Integration of Object-Oriented Viewpoint Specification Techniques. SoftSpez Final Report (2004)
Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel
A Formal Component Concept for the Specification of Industrial Control Systems. SoftSpez Final Report (2004)
Hartmut Ehrig, Gunnar Schröter
The Role of Mathematics and Formal Specification Techniques in Software System Development. Bull. EATCS 72 (2000)