Projectable Semantics for Statecharts.

Andrea Maggiolo-Schettini Simone Tini

Published in: Electron. Notes Theor. Comput. Sci. (1998)

Keyphrases

logic programming
neural network
logical framework
semantic information
formal semantics
agent oriented
genetic algorithm