Reconciling statechart semantics.

Published in: Sci. Comput. Program. (2009)

Keyphrases

formal semantics
logic programming
semantic information
test cases
real time
information systems
case study
database
real world
database systems
co occurrence
operational semantics