A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
The Formal Design Model of an Automatic Teller Machine (ATM)
2013
Lecture Notes on Information Theory
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). I.
doi:10.12720/lnit.1.1.56-59
fatcat:bepstedd5rcupgl4v5klocdane