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
Keywords :
Electronic contract , Contract , Contract representation , Finite state machine , Contract enforcement , Correctness requirements , Model-checking , Validation
Journal title :
Electronic Commerce Research and Applications
Journal title :
Electronic Commerce Research and Applications
