Login / Signup

A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.

Roland MeyerVictor KhomenkoTim Strazny
Published in: Petri Nets (2008)
Keyphrases
  • distributed systems
  • mobile phone
  • model checking
  • automated verification
  • databases
  • expert systems
  • mobile devices
  • knowledge based systems
  • ambient intelligence
  • complex systems
  • mobile commerce
  • asynchronous circuits