Modelling and Verification of Cash Withdrawal Transaction in Automated Teller Machine Using Timed Automata

Ari Ramadhana Hendrawan, Dieky Adzkiya

Research output: Contribution to journalConference articlepeer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'Modelling and Verification of Cash Withdrawal Transaction in Automated Teller Machine Using Timed Automata'. Together they form a unique fingerprint.

Computer Science