The Real-Time Maude Tool.

Peter Csaba Ölveczky José Meseguer

Published in: TACAS (2008)

Keyphrases

real time
control system
low cost
data sets
website
three dimensional
evolutionary algorithm
data acquisition
user friendly
analysis tool