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