Penspesifikasian dan Pengesahsahihan Formal Protokol CSMS/CD Menggunakan Z

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Penerbit UKM

Abstract

Description

Keywords

protokol rangkaian, spesifikasi formal, Z, Z/EVES

Citation

URI

https://repoemc.ukm.my/handle/123456789/14501

Collections

PTSL UKM Journal Article