Login / Signup
Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.
Peter Csaba Ölveczky
Mark Keaton
José Meseguer
Carolyn L. Talcott
Steve Zabele
Published in:
FASE (2001)
Keyphrases
</>
real time
computer vision
statistical analysis
formal specification
social networks
data analysis
control system
low cost
database
databases
neural network
artificial neural networks
software engineering
high speed