Login / Signup
On the Use of Real-Time Maude for Architecture Description and Verification: A Case Study.
Chadlia Jerad
Kamel Barkaoui
Amel Grissa Touzi
Published in:
BCS Int. Acad. Conf. (2008)
Keyphrases
</>
real time
dedicated hardware
low cost
case study
vlsi architecture
management system
formal specification
model checking
event driven
real time systems
high level
vision system
formal verification
multimedia communication
complex event processing
high speed
multi agent
data sets