Parallel to new developments in the fields of computer networks and high performance computing, effective distributed systems have emerged to answer the gr... O Gervasi,B Murgante,S Misra,... 被引量: 0发表: 2016年 Method and device for realizing remote payment processing unit; a payment appl...
Computer NetworksPoll, E., Berg, J., Jacobs, B. (2001) Formal specification of the Java Card API in JML: the APDU class. Computer Networks 36: pp. 407-421E. Poll, J. van den Berg, and B. Jacobs. Formal specification of the Java Card API in JML: the APDU class. Computer ...