Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z

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 opera...

Full description

Bibliographic Details
Main Authors: Zarina Shukur (Author), Nursyahidah Alias (Author), Bahari Idrus (Author), Mohd Hazali Mohamed Halip (Author)
Format: Article
Language:English
Published: 2009.
Online Access:Get fulltext

Similar Items

Similar Items