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

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