Implementing Statecharts in PROMELA/SPIN.

Erich Mikk Yassine Lakhnech Michael Siegel Gerard J. Holzmann

Published in: WIFT (1998)

Keyphrases

artificial intelligence
conceptual modeling
high level
information technology
database
real world
decision making
digital libraries