Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z

QR Code

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/1/1.pdf

Similar Items

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)

The automatic assessment of Z specifications
by: Shukur, Zarina
Published: (1999)

An efficient CSMA/CA protocol for IEEE 802.11
by: Hussein Abbas, Ali Muhammad
Published: (2018)

Antara isu, protokol, status
by: Abd Rahman, Saodah
Published: (2019)

Protokol dalam ucapan rasmi
by: Ahmad, Abdul Mua'ti @ Zamri
Published: (2009)

Comparative Investigation on CSMA/CA-Based MAC protocols for Scalable Networks
by: Abbas, Ali. M. H., et al.
Published: (2016)

QoS provisioning in CSMA/CA-based opportunistic random access for WLAN
by: Liew, Jiun Terng, et al.
Published: (2015)

Protokol import binatang ternakan diubah
by: Berita Harian ,
Published: (2014)

Perubahan laluan ikut protokol - Pakar
by: Utusan Malaysia,
Published: (2014)

Lengkapkan diri dengan ilmu protokol
by: Universiti Putra Malaysia, .
Published: (2006)

An efficient CSMA-CA algorithm for IEEE 802.15.4 wireless sensor networks
by: Dahham, Zahraa, et al.
Published: (2012)

Penerimagunaan sistem pengurusan dokumen dan rekod elektronik : protokol pembangunan instrumen dan kesahan kandungan menggunakan nilai ketetapan kandungan
by: Azlina Ab Aziz,, et al.
Published: (2018)

Analisis dan penilaian prestasi lengah lepas tangan menggunakan protokol pencetusan sesi (SIP) bagi sistem terintegrasi UMTS-WLAN
by: Ab. Rahman, Munirah
Published: (2007)

Analisis dan penilaian prestasi lengah lepas tangan menggunakan protokol pencetusan sesi (SIP) bagi sistem terintegrasi UMTS-WLAN
by: Ab. Rahman, Munirah
Published: (2007)

Protokol Pemikiran Verbal Dalam Pembelajaran Bahasa Melayu
by: Abd Rahman, Zaleha
Published: (2004)

Pelajar UPM didedah ilmu protokol, bijak kepimpinan
by: Utusan, Malaysia
Published: (2025)

Modified CSMA/CA MAC strategy for IOT enable intra-vehicular wireless communication systems
by: Ali, Md Jahan
Published: (2018)

A Model Driven Analysis of the 802.11 CSMA/CA Protocol through SD2PN
by: M. A., Ameedeen, et al.
Published: (2014)

Pembangunan dan pengesahsahihan instrumen manhaj rabbãniyyah sebagai indikator komunikator Islam / Muhammad Taufik Md Sharipp, S Salahudin Suyurno and Mohamad Shafiei Ayub
by: Suyurno, S Salahudin, et al.
Published: (2017)

CST337 – Network Configurations And Protocols (Konfigurasi Dan Protokol Rangkaian)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2023)

CST337 – Network configuration and protocols (Konfigurasi dan protokol rangkaian)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2022)

Pembangunan dan pengesahsahihan instrumen kredibiliti komunikator Islam menurut al-Quran / Muhammad Taufik Md Sharipp, S. Salahudin Suyurno dan Abdul Rauf Ridzuan
by: Md Sharipp, Muhammad Taufik, et al.
Published: (2018)

Komunikasi Suara Melalui Protokol Internet(VoIP) / Mohd. Azmi Mustafa @ Sulaiman
by: Mohd. Azmi, Mustafa @ Sulaiman
Published: (2004)

The interrelatedness of formal, non-formal and informal learning
by: Cameron, Roslyn, et al.
Published: (2012)

Kajian pelaksanaan protokol DMM PMIPv6 di dalam persekitaran rangkaian dwi-tindanan
by: Farouk Abd. Jalin,, et al.
Published: (2018)

Manual Pengurusan Acara & Protokol Universiti Edisi 2012 / Jabatan Komunikasi Korporat, UiTM
by: Jabatan Komunikasi Korporat, UiTM
Published: (2012)

CST332 – Internet Protocol, Architecture and Routing (Protokol, Seni Bina dan Penghalaan Internet)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

CST332 – Internet Protocol, Architecture and Routing (Protokol, Seni Bina dan Penghalaan Internet)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2022)

Synthesis, Growth Mechanism and Optical Properties of Colloidal Wurtzite ZTe (Z=Zn, Cd) Nanoplatelets
by: Wang, Fei
Published: (2019)

Pengelasan dokumen web di Bursa Malaysia menggunakan pendekatan support vector machine (SVM)
by: Mohd Shahizan Othman,, et al.
Published: (2009)

Ahli kimia dan pekerja makmal mesti patuhi prosedur, protokol ditetapkan, 26 November 2012
by: Utusan, Borneo
Published: (2012)

Pengalaman Malaysia terhadap pendekatan kuasa dalam proses rundingan Protokol Montreal ke arah pembangunan mapan
by: Muhammad Rizal Razman,, et al.
Published: (2010)

Pengkelasan dokumen web menggunakan teknik vector machine (SVM)
by: Othman, Mohd. Shahizan, et al.
Published: (2005)

Formalization of ORM revisited
by: Halpin, Terry
Published: (2012)

Trends in Formal Assessment
by: M. McGrath, Dennis
Published: (1979)

Pergerakan kadmium (Cd) melalui tanah baki granit terpadat menggunakan kaedah kolum turasan mini
by: Nur 'Aishah Zarime,, et al.
Published: (2016)

BIOPRO: Protokol Biofeedback hasil inovasi penyelidik UMPSA Dr. Nazrolnizah bantu tingkatkan prestasi usahawan wanita AIM
by: Nur Hartini, Mohd Hatta
Published: (2025)