Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

IJSSCI
2010

favoriteEmaildiscussreport

50views more IJSSCI 2010»

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

13 years 1 months ago

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

Download enel.ucalgary.ca

Yingxu Wang, Yanan Zhang, Phillip C.-Y. Sheu, Xuhu

Real-time Traffic

IJSSCI 2010 |

claim paper

Related Content

» Forecasting the Growth of ATM and POS in the Portuguese Banking System

» Formal verification of ASMs using MDGs

» UCDA Use Case Driven Development Assistant Tool for Class Model Generation

» UML 20 Testing Profile

» Automatic Analysis of the Security of XORBased Key Management Schemes

» A Formal Framework to Integrate Timed Security Rules within a TEFSMBased System Specificat...

» Proving transaction and systemlevel properties of untimed SystemC TLM designs

» Domain modelling and NLP Formal ontologies Lexica Or a bit of both

» A Model of Competence for CorpusBased Machine Translation

Post Info
More Details (n/a)

Added	18 May 2011
Updated	18 May 2011
Type	Journal
Year	2010
Where	IJSSCI
Authors	Yingxu Wang, Yanan Zhang, Phillip C.-Y. Sheu, Xuhui Li, Hong Guo

Comments (0)