Login / Signup
A Verification Tool for Value-Passing Processes.
Huimin Lin
Published in:
PSTV (1993)
Keyphrases
</>
software tools
information systems
decision making
process model
user friendly
signature verification
real time
data sets
neural network
image processing
website
model checking
analysis tool