Formal specification and verification of the internet open trading protocol using Coloured Petri Nets /

Description

Thesis (PhDComputerSystemsEng)--University of South Australia, 2004.

Links & Downloads

1. http://arrow.unisa.edu.au:8081/1959.8/80675
2. http://arrow.unisa.edu.au/vital/access/manager/Repository/unisa:43863

Tags

Internet programming.

Electronic commerce

Business enterprises

Electronic funds transfers

Additional Fields

Identifer	oai:union.ndltd.org:ADTP/267621
Creators	Ouyang, Chun
Source Sets	Australiasian Digital Theses Program
Language	English
Detected Language	English
Rights	copyright under review