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

Saved in:
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/1/1.pdf
http://journalarticle.ukm.my/289/
http://www.ukm.my/jkukm/index.php/jkukm
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first