Sign in

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.

Farnaz YousefiEhsan KhamespanahMohammed GharibMarjan SirjaniAli Movaghar
Published in: Int. J. Softw. Tools Technol. Transf. (2020)
Keyphrases
  • message passing
  • belief propagation
  • probabilistic inference
  • distributed systems
  • graphical models