Statistics
Publications
4
Citations
99
H-Index
4
Active since
2009
Affiliations
Curtin University Sarawak(Current)
Thomas Anung Basuki is an author at Curtin University Sarawak specializing in engineering, modeling and simulation, and data science.
Publications per year
2009–2023
4
4
Model-checking user behaviour using interacting components
Thomas Anung Basuki, António Cerone, Andreas Griesmayer et al. · Formal Aspects of Computing · 2009 · 18 citations · Full text
1–4 of 4