Login / Signup

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.

Camilo RochaJosé Meseguer
Published in: Specification, Algebra, and Software (2014)
Keyphrases
  • data acquisition
  • analysis tool
  • neural network
  • information sharing
  • formal analysis
  • data analysis
  • statistical analysis
  • communication protocol
  • peer to peer
  • lightweight