Modelling and Verification of Cash Withdrawal Transaction in Automated Teller Machine Using Timed Automata
- Ari Ramadhana Hendrawan
- , Dieky Adzkiya
- Institut Teknologi Sepuluh Nopember
Research output: Contribution to journal › Conference article › peer-review
1
Citation
(Scopus)