LSCs: Breathing Life into Message Sequence Charts.

Werner Damm David Harel

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

email
real time
databases
information systems
decision trees
multiscale
mobile robot
motion estimation
input data
pseudorandom