Verifying Finite State Machine Behavior using QuickCheck EQC_fsm
In order to communicate properly, mobile telephones connect to base transceiver stations which forward the telephones’ signals. These base transceiver stations are called Node Bs. As the use of mobile telephones expands every day, the number of Node Bs in the world increases with rapid speed. This r...
Main Authors: | , |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Institutionen för informationsteknologi
2010
|
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-129441 |