Netcharts: Bridging the gap between HMSCs and executable specifications.

Madhavan Mukund K. Narayan Kumar P. S. Thiagarajan

Published in: CONCUR (2003)

Keyphrases

formal specification
attribute grammars
control flow
specification language
delay insensitive
process algebra
data flow
real time
computer vision
asynchronous circuits
functional requirements
context free
conceptual models
model checking
learning environment
data mining
neural network