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 (Apr. 2021), 173-180. DOI:https://doi.org/10.33330/jurteksi.v7i2.1009.