Translating Statecharts to B.

Emil Sekerinski Rafik Zurob

Published in: IFM (2002)

Keyphrases

conceptual modeling
agent oriented
reactive systems
class diagrams
data mining
decision making
formal methods
model checker