Karsten Diethers

Publication Activity (10 Years)

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

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Karsten Diethers, Bernd Finkemeyer, Nnamdi Kohn
Middleware zur Realisierung offener Steuerungssoftware für hochdynamische Prozesse (Realizing Open Control Software for High Dynamic Processes with a Middleware). it Inf. Technol. 46 (1) (2004)
Karsten Diethers, Michaela Huhn
Vooduu: Verification of Object-Oriented Designs Using UPPAAL. TACAS (2004)
Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML (1999)