A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude.

Francisco Durán Peter Csaba Ölveczky

Published in: WRLA (2008)

Keyphrases

real time
formal specification
equational theories
low cost
data sets
vision system
hardware implementation
vlsi architecture
fpga hardware
data structure
control system
facial expressions
case study
multimedia
multimedia communication
dedicated hardware
real world