Erich Mikk

Publication Activity (10 Years)

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

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Paula J. Pingree, Erich Mikk
The HiVy Tool Set. CAV (2004)
Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann
Implementing Statecharts in PROMELA/SPIN. WIFT (1998)
Erich Mikk, Yassine Lakhnech, Michael Siegel
Hierarchical Automata as Model for Statecharts. ASIAN (1997)
Erich Mikk
Compilation of Z Specifications into C for Automatic Test Result Evaluation. ZUM (1995)