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: | , , , |
|---|---|
| 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!