Login / Signup
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings.
Roland Meyer
Victor Khomenko
Tim 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