Annastasia, S.; Nur Fajrilah, A. A.; Izzati, B. M. VALIDASI BISNIS ARSITEKTUR MODEL MENGGUNAKAN METODE FORMAL (STUDI KASUS: MANUFAKTURING). JURTEKSI 2021, 7, 173-180.