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

TitleMicropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform
Publication TypeJournal Article
Year of Publication2013
AuthorsAndreu Pere Isern-Deyà, Magdalena Payeras-Capellà, Macià Mut-Puigserver, Josep-Lluís Ferrer-Gomila, Llorenç Huguet-Rotger
JournalInternational Journal Business Intelligence and Data Mining
Volume8
Pagination74-104
ISSN1743-8195
Keywordsformal-analysis, payment-ticketing
URLhttp://dx.doi.org/10.1504/IJBIDM.2013.055786