Towards an Integration of Message sequence Charts and Timed Maude.

Piotr Kosiuczenko Martin Wirsing

Published in: Trans. SDPS (2001)

Keyphrases

email
data sets
data integration
real time
databases
neural network
digital images
petri net
formal specification
database
learning algorithm
data structure
pseudorandom