Login / Signup

Model-based protocol specification.

Yaniv Mordecai
Published in: Syst. Eng. (2019)
Keyphrases
  • protocol specification
  • communication protocols
  • formal specification
  • case study
  • data driven
  • artificial intelligence
  • formal methods