Login / Signup

Modelling and Verifying Mobile Systems Using pi-Graphs.

Frédéric PeschanskiJoël-Alexis Bialkiewicz
Published in: SOFSEM (2009)
Keyphrases
  • computer systems
  • management system
  • weighted graph
  • communication technologies
  • autonomous mobile
  • data sets
  • wireless sensor networks
  • building blocks
  • learning systems
  • complex systems