Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM

Author： Daws Conrado Kwiatkowska Marta Norman Gethin

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.5, Iss.2-3, 2004-03, pp. : 221-236

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

Performance analysis of contention access period of IEEE 802.15.3 MAC protocol

By Ullah Sana

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 13, Iss. 3-4, 2013-07 ,pp. : 158-166

Inderscience Publishers

Access to resources Recommend Favorite

KRONOS: a verification tool for real-time systems

By Yovine Sergio

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 123-133

Springer Publishing Company

Access to resources Recommend Favorite

Protocol verification with the ALDÉBARAN toolset

By Bozga Marius Fernandez Jean-Claude Kerbrat Alain Mounier Laurent

International Journal on Software Tools for Technology Transfer, Vol. 1, Iss. 1-2, 1997-12 ,pp. : 166-183

Springer Publishing Company

Access to resources Recommend Favorite

Improving WLAN Performance by Modifying an IEEE 802.11 Protocol

International Journal of Wireless Networks and Broadband Technologies (IJWNBT), Vol. 1, Iss. 1, 2011-01 ,pp. : 15-31

IGI Global_journal

Access to resources Recommend Favorite

Design and Performance Evaluation of a Distributed Contention Control (DCC) Mechanism for IEEE 802.11 Wireless Local Area Networks

By Bononi L. Conti M. Donatiello L.

Journal of Parallel and Distributed Computing, Vol. 60, Iss. 4, 2000-04 ,pp. : 407-430

Academic Press

Access to resources Recommend Favorite