Compiling Modechart Specifications.

Carlos Puchol Aloysius K. Mok Douglas A. Stuart

Published in: RTSS (1995)

Keyphrases

high level
delay insensitive
formal specification
specification language
data model
bounded model checking
data sets
databases
data mining
decision trees
data structure
operational semantics
asynchronous circuits
attribute grammars