Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform

Author: Isern-Deyà Andreu Pere   Payeras-Capellà M. Magdalena   Mut-Puigserver Macià   Ferrer-Gomila Josep-Lluis   Huguet-Rotger Llorenç  

Publisher: Inderscience Publishers

ISSN: 1743-8187

Source: International Journal of Business Intelligence and Data Mining, Vol.8, Iss.1, 2013-08, pp. : 74-104

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract