Wattana Viriyasitavat
Selected Publications
-
Using Propositional Logic for Requirements Verification of Service Workflow
L.D. Xu‚ W. Viriyasitavat‚ P. Ruchikachorn and A. Martin
In Industrial Informatics‚ IEEE Transactions on. Vol. PP. No. 99. Pages 1. 2012.
Details about Using Propositional Logic for Requirements Verification of Service Workflow | BibTeX data for Using Propositional Logic for Requirements Verification of Service Workflow | DOI (10.1109/TII.2012.2187908)
-
SWSpec: The Requirements Specification Language in Service Workflow Environments
W. Viriyasitavat‚ A. Martin and L. Xu
In Industrial Informatics‚ IEEE Transactions on. Vol. PP. No. 99. Pages 1. 2012.
Details about SWSpec: The Requirements Specification Language in Service Workflow Environments | BibTeX data for SWSpec: The Requirements Specification Language in Service Workflow Environments | DOI (10.1109/TII.2011.2182519)
-
A Survey of Trust in Workflows and Relevant Contexts
W. Viriyasitavat and A. Martin
In Communications Surveys Tutorials‚ IEEE. Vol. PP. No. 99. Pages 1 −30. 2011.
Details about A Survey of Trust in Workflows and Relevant Contexts | BibTeX data for A Survey of Trust in Workflows and Relevant Contexts | DOI (10.1109/SURV.2011.072811.00081)