Erich Mikk

According to our database, Erich Mikk authored at least 5 papers between 1995 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

The HiVy Tool Set.

Paula J. Pingree, Erich Mikk

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2000

Semantics and verification of statecharts.

Erich Mikk

PhD thesis, 2000

1998

Implementing Statecharts in PROMELA/SPIN.

Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann

Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1997

Hierarchical Automata as Model for Statecharts.

Erich Mikk, Yassine Lakhnech, Michael Siegel

Proceedings of the Advances in Computing Science, 1997

1995

Compilation of Z Specifications into C for Automatic Test Result Evaluation.

Erich Mikk

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995