• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).

Christian Bartolo BurlòAdrian FrancalanzaAlceste Scalas
Published in: FORTE (2020)
Keyphrases
  • communication protocols
  • protocol specification
  • communication protocol
  • communication networks
  • model checking
  • database systems
  • data streams
  • mobile phone
  • data integration