The Formal Design Model of an Automatic Teller Machine (ATM)
2013-05-06 13:51:03   来源:   评论:0 点击:

Abstract—Automated teller machines (ATM) have become a part and parcel of supermarkets, convenience stores, travel centers and banking. ATM is a real-time system that is very
complex in design and application. This paper presents the formal design, requirement, a distributed approach for the ATM networks, and type of the ATM system. 

Index Terms—ATM, real-time systems, formal design models, system behaviour specification, Distributed Database System (DDS).

Cite: Salem S. M. Khalifa and Kamarudin Saadan, "The Formal Design Model of an Automatic Teller Machine (ATM)," Lecture Notes on Information Theory, Vol.1, No.1, pp. 56-59, March 2013. doi: 10.12720/lnit.1.1.56-59


上一篇:Qualitative Data Mining and Knowledge Discovery Using Leximancer Digital Software
下一篇:Drive Strength and LVCMOS Based Dynamic Power Reduction of ALU on FPGA

分享到: 收藏