Login / Signup
Whiley: A Platform for Research in Software Verification.
David J. Pearce
Lindsay Groves
Published in:
SLE (2013)
Keyphrases
</>
database
decision trees
multi agent systems
simulation environment
real time
multimedia
website
computational complexity
multiresolution
mobile applications
simulation platform
experimental platform