Login / Signup

Formal Modelling and Verification of the RTPS Behavior Module.

Jiaqi YinHuibiao ZhuYuan FeiQiwen Xu
Published in: TASE (2021)
Keyphrases
  • formal methods
  • verification method
  • formal model
  • fingerprint verification
  • real time
  • real world
  • data mining
  • data model
  • human behavior
  • agent based models
  • concurrent systems