| Transformation of UML 2.0 sequence diagram into Coloured Petri Nets AB Saputra, TA Basuki, J Tirtawangsa 2014 International Conference of Advanced Informatics: Concept, Theory and …, 2014 | 6 | 2014 |
| Towards formal modeling and verification of UML class diagrams using first-order logic and resolution AB Saputra, TA Basuki, J Tirtawangsa IET Conference Proceedings CP908 2024 (30), 37-43, 2024 | | 2024 |
| Formal Model of Informatics Undergraduate Curriculum in Petri Nets AB Saputra, TA Basuki, S Widowati Journal of Informatics and Communication Technology (JICT) 4 (1), 56-68, 2022 | | 2022 |
| Perangkat lunak Konane FN Pramadhia, AB Saputra Program Studi Teknik Informatika Fakultas Teknologi Informasi dan Sains-UNPAR, 2018 | | 2018 |
| Pengembangan perangkat lunak simulator real-time system menggunakan algoritma Earliest Deadline First K Pratama, AB Saputra Program Studi Teknik Informatika Fakultas Teknologi Informasi dan Sains-UNPAR, 2018 | | 2018 |
| Verifikasi sistem elevator dengan coloured petri nets OP Mustopa, AB Saputra Program Studi Teknik Informatika Fakultas Teknologi Informasi dan Sains-UNPAR, 2018 | | 2018 |
| Verifikasi formal sistem elevator dengan alloy A Jayapermana, AB Saputra Program Studi Teknik Informatika Fakultas Teknologi Informasi dan Sains-UNPAR, 2017 | | 2017 |
| Agen cerdas untuk Go menggunakan algoritma mini-max alpha beta pruning S Daniel, AB Saputra https://library.unpar.ac.id/index.php?p=show_detail&id=224696, 2016 | | 2016 |
| Ant colony optimization untuk set cover problem C Setiawan, AB Saputra https://library.unpar.ac.id/index.php?p=show_detail&id=224713, 2016 | | 2016 |
| Verifying UML-based interaction using coloured Petri nets AB Saputa, TA Basuki, J Tirtawangsa 2014 International Conference on Data and Software Engineering (ICODSE), 1-6, 2014 | | 2014 |
| Verifying Unified Modeling Language-based Interaction Using Coloured Petri Nets AB Saputra, TA Basuki, J Tirtawangsa https://repository.telkomuniversity.ac.id/pustaka/140181/verifying-unified …, 2014 | | 2014 |
| Pemodelan Formal Sistem Akademik Program Studi Strata 1 Teknik Informatika, Institut Teknologi Telkom dengan Jaringan Petri AB Saputra, TA Basuki, S Widowati https://openlibrary.telkomuniversity.ac.id/pustaka/95881/pemodelan-formal …, 2012 | | 2012 |
Thomas Anung BasukiHeriot-Watt University MalaysiaVerified email at hw.ac.uk
