Login / Signup
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.
Peter Csaba Ölveczky
José Meseguer
Carolyn L. Talcott
Published in:
Formal Methods Syst. Des. (2006)
Keyphrases
</>
real time
data acquisition
quantitative analysis
similarity measure
statistical analysis
formal specification
real world
machine learning
high level
medical images