Font Size:
a
A
A
Keyword [model checking]
Result: 1 - 11 | Page: 1 of 1
1.
Research On Theory And Several Key Technologies Of Business Process Management
2.
Empirical Study Of Service Quality Of Software Technical Support
3.
Formal Analysis Of E-commerce Protocols
4.
Research On Security Of E-Commerce Protocols Based On UPPAAL
5.
Research On Security Of E-commerce Protocols Based On Uppaal
6.
An Empirical Test Of Rational Bubbles In Chinese Stock Market
7.
Formal Verification And Instance Of Mobile Payment Protocol Based On Timed Automata
8.
Formal Analysis And Verification For E-commerce Transaction Protocols Based On Model Checking
9.
Design And Implementation Of Business Risk Prediction Based On Process Mining
10.
Research And Application Financial Fraud Detection Based On Online Auditing
11.
Real Estate Industry Tax Audit Research
<<First
<Prev Next>
Last>>
Jump to
