Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts.

Luca Pazzi Marco Pradelli

Published in: ACSD (2012)

Keyphrases

logic programming
state space
state transition
neural network
genetic algorithm
semantic information
logical framework