Modeling Statecharts Behaviour in a Fully Abstract Way.

Cornelis Huizing Rob Gerth Willem P. de Roever

Published in: CAAP (1988)

Keyphrases

higher level
information systems
search algorithm
decision trees
high level
video sequences
relational databases
modeling method
state machines