Nugraheni, Cecilia Esti; Gunawan, Linda A.
(Lembaga Penelitian dan Pengabdian Kepada Masyarakat Universitas Katolik Parahyangan, 2005)
Pembuatan spesifikasi dan verifikasi merupakan dua tahap penting dalam rekayasa protokol. Spesifikasi
digunakan untuk mendeskripsikan perilaku dari protokol sedangkan verifikasi adalah proses
untuk menjamin bahwa spesifikasi ...