Title of article :
Finite-state verification of the ebXML protocol
Author/Authors :
Marina Mongiello، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
Business transactio , ebXML , model checking , formal verification
Journal title :
Electronic Commerce Research and Applications
Journal title :
Electronic Commerce Research and Applications
