A Translation of Statecharts to Esterel.

Sanjit A. Seshia R. K. Shyamasundar A. K. Bhattacharjee S. D. Dhodapkar

Published in: World Congress on Formal Methods (1999)

Keyphrases

circuit design
machine translation
query translation
artificial intelligence
agent oriented
reactive systems
database
data sets
information systems
decision trees
bayesian networks
data structure
search algorithm
translation model
test generation