The Formal Design Model of an Automatic Teller Machine (ATM)

Yingxu Wang, Yanan Zhang, Philip Sheu, Xuhui Li, Hong Guo. The Formal Design Model of an Automatic Teller Machine (ATM). IJSSCI, 2(1):102-131, 2010. [doi]

Abstract

Abstract is missing.