Login / Signup

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.

Peter Csaba ÖlveczkyJosé MeseguerCarolyn 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