Travelled to:
1 × China
Collaborated with:
A.Martin
Talks about:
workflow (1) environ (1) specif (1) servic (1) requir (1) formal (1) trust (1)
Person: Wattana Viriyasitavat
DBLP: Viriyasitavat:Wattana
Contributed to:
Wrote 1 papers:
- ICEIS-v3-2011-ViriyasitavatM #formal method #requirements #specification #trust #workflow
- Formalizing Trust Requirements and Specification in Service Workflow Environments (WV, AM), pp. 196–206.