A Compositional Axiomatization of Statecharts.

Jozef Hooman S. Ramesh Willem P. de Roever

Published in: Theor. Comput. Sci. (1992)

Keyphrases

agent oriented
conceptual modeling
situation calculus
neural network
class diagrams
general theory
complete axiomatization
databases
multi agent
search algorithm
model checker