Timed High-Level Message Sequence Charts for Real-Time System Design.

Tai Hyo Kim Sung Deok Cha

Published in: SAM (2006)

Keyphrases

real time
high level
low level
petri net
low cost
high level abstraction
email
mobile robot
user interface
knowledge based systems
design process
artificial intelligence
design methodology
real time systems
hardware design
vlsi architecture
neural network