Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z

This paper discusses the formal specification and validation for CSMA/CD protocol. The Z specification language is used to specify a node in a network and a situation in a bus implementation for CSMA/CD protocol. One basic type, four free types, one global variables, two state schemas and nine oper...

Full description

Bibliographic Details
Main Authors: Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip
Format: Article
Language:English
Published: 2009
Online Access:http://journalarticle.ukm.my/289/
http://journalarticle.ukm.my/289/
http://journalarticle.ukm.my/289/1/1.pdf