Login / Signup

A Bigraphical Reactive Systems with Sharing for modeling Wireless Mesh Networks.

Rachida BoucebsiFaiza Belala
Published in: J. King Saud Univ. Comput. Inf. Sci. (2020)
Keyphrases
  • reactive systems
  • wireless mesh networks
  • model checking
  • temporal logic
  • information flow
  • wireless networks
  • expert systems
  • software systems
  • multi channel
  • formal specification
  • formal methods
  • mesh network