Open AccessFormal Specification and Verification of CSMA/CD Protocol Using Z
Author(s) -
Zarina Shukur,
Nursyahidah Alias,
Bahari Idrus,
Mohd Hazali Mohamed Halip
Publication year - 2009
Publication title -
jurnal kejuruteraan
Language(s) - English
Resource type - Journals
eISSN - 2289-7526
pISSN - 0128-0198
DOI - 10.17576/jkukm-2009-21-09
Subject(s) - protocol (science) , computer science , computer network , embedded system , medicine , pathology , alternative medicine