ANNASTASIA, S.; NUR FAJRILAH, A. A.; IZZATI, B. M. VALIDASI BISNIS ARSITEKTUR MODEL MENGGUNAKAN METODE FORMAL (STUDI KASUS: MANUFAKTURING). JURTEKSI (jurnal Teknologi dan Sistem Informasi), v. 7, n. 2, p. 173-180, 3 Apr. 2021.