The Priced-Timed Maude Tool.

Leon Bendiksen Peter Csaba Ölveczky

Published in: CALCO (2009)

Keyphrases

petri net
information systems
three dimensional
learning algorithm
computer vision
image processing
database systems
data structure
video sequences
data analysis
information technology
software engineering