Annastasia, S., Nur Fajrilah, A. A. and Izzati, B. M. (2021) “VALIDASI BISNIS ARSITEKTUR MODEL MENGGUNAKAN METODE FORMAL (STUDI KASUS: MANUFAKTURING)”, JURTEKSI (jurnal Teknologi dan Sistem Informasi), 7(2), pp. 173-180. doi: 10.33330/jurteksi.v7i2.1009.