Protocol Synthesis for Real-Time Applications.

Ahmed Khoumsi Gregor von Bochmann Rachida Dssouli

Published in: FORTE (1999)

Keyphrases

real time
lightweight
low cost
formal analysis
control system
real time systems
high speed
quality of service
facial animation