Real-Time Maude and Its Applications.

Peter Csaba Ölveczky

Published in: WRLA (2014)

Keyphrases

real time
low cost
artificial intelligence
data sets
special case
high fidelity
formal specification
vision system
signal processing
high speed
hidden markov models
control system
expert systems
wide range
multimedia
genetic algorithm
data mining