Event-B Formalization of Basic Supply Chain Patterns. - Chalika Saksupawattanakul; Wiwat Vatanawood (SNPD, 2018)

Predictive Modeling of Software Behavior Using Machine Learning. - Chalika Saksupawattanakul; Wiwat Vatanawood (IEEE Access, 2024)