Erich Mikk

Implementing statecharts in PROMELA/SPIN

Erich Mikk, Yassine Lakhnech, Michael I. Siegel et al. · 2002 · 157 citations

Computing, Computer Engineering, Computer Science +17

On Formal Semantics of Statecharts as Supported by STATEMATE.

Erich Mikk, Yassine Lakhnech, Carsta Petersohn et al. · Electronic workshops in computing · 1997 · 46 citations · Full text

Computing, Computer Science, Algorithms +14

Validation of mission critical software design and implementation using model checking [spacecraft]

Paula J. Pingree, Erich Mikk, Gerard J. Holzmann et al. · Proceedings. The 21st Digital Avionics Systems Conference · 2003 · 19 citations

Computing, Aerospace Engineering, Computer Science +15

Validation of mission critical software design and implementation using model checking

Paula J. Pingree, Erich Mikk, Gerard J. Holzmann et al. · 2002 · 18 citations

Computing, Computer Engineering, Computer Science +14