Steffen Prochnow

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Steffen Prochnow, Reinhard von Hanxleden
Statechart Development Beyond WYSIWYG. MoDELS (2007)
Steffen Prochnow, Reinhard von Hanxleden
The Use of Complex Stateflow-Charts with KIEL - An Automotive Case Study. GI Jahrestagung (2) (2007)
Steffen Prochnow, Claus Traulsen, Reinhard von Hanxleden
Synthesizing safe state machines from Esterel. LCTES (2006)
Steffen Prochnow, Reinhard von Hanxleden
Comfortable modeling of complex reactive systems. DATE (2006)