Title of article
Run-time monitoring and enforcement of electronic contracts
Author/Authors
Carlos Molina-Jimenez، نويسنده , , Santosh Shrivastava، نويسنده , , Ellis Solaiman، نويسنده , , John Warne، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
18
From page
108
To page
125
Keywords
Electronic contract , Contract , Contract representation , Finite state machine , Contract enforcement , Correctness requirements , Model-checking , Validation
Journal title
Electronic Commerce Research and Applications
Serial Year
2004
Journal title
Electronic Commerce Research and Applications
Record number
145805
Link To Document