Login / Signup

Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems.

Shin NakajimaMasaki IshiguroKazuyuki Tanaka
Published in: SEUS (2010)
Keyphrases
  • open systems
  • data analysis
  • multi agent
  • cooperative
  • mobile devices
  • wireless sensor networks
  • autonomous agents
  • modal logic