Showing results 1 to 5 of 5
Title | Author(s) | Issue Date | Views | |
---|---|---|---|---|
Creating automated plans for Semantic Web applications through planning as model checking Journal:Expert Systems with Applications | 2009 | |||
Model checking for design and assurance of e-Business processes Journal:Decision Support Systems | 2005 | 54 | ||
Model checking for e-Business control and assurance Journal:IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews | 2005 | 35 | ||
Standards and verification for fair-exchange and atomicity in e-commerce transactions Journal:Information Sciences | 2006 | |||
The application of model checking for securing E-commerce transactions Journal:Communications of the ACM | 2006 | 52 |