C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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