Login / Signup

Analysis of a Session-Layer Protocol in mCRL2.

Marko C. J. D. van EekelenStefan ten HoedtRené SchreursYaroslav S. Usenko
Published in: FMICS (2007)
Keyphrases
  • statistical analysis
  • multi layer
  • application layer
  • databases
  • neural network
  • data analysis
  • mobile devices