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...
Saved in:
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!
|
Similar Items
-
Throughput analysis of buffered CSMA/CD based single channel Fast Ethernet optical LAN
by: Shamima, Kabir, et al.
Published: (2011) -
Z formal specification of functional requirement / Nursyahidah Alias, Mohd Norafizal Abd Aziz and Zazaleena Zakariah
by: Nursyahidah Alias, et al.
Published: (2013) -
Design And Analysis Of a Multi-channel Optical Fibre Lan Based On Modified Csma/cd Protocol
by: Ahmad Anas, Siti Barirah
Published: (2002) -
Design And Evaluation Of A Modified Csma/Cd Mac Protocol On Single-Channel Optical Local Area Network
by: Khairi, Kharina
Published: (2003) -
Formalizing voting protocol in process algebra
by: Ban, Ainita, et al.
Published: (2014)