Automated verification and refinement for physical-layer protocols

Author： Brown Geoffrey  

Publisher： Springer Publishing Company

ISSN： 0934-5043

Source： Formal Aspects of Computing, Vol.23, Iss.3, 2011-05, pp. : 243-266

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

Abstract

Related content

Mac for Physical-Layer Network Coding in VANETs

By  

International Journal of Business Data Communications and Networking (IJBDCN), Vol. 8, Iss. 4, 2012-10 ,pp. : 84-106

IGI Global_journal

Access to resources Recommend Favorite

Strategy for Verifying Security Protocols with Unbounded Message Size: Special Section on Automated Verification of Infinite-State Systems

By Chevalier Y.  

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 141-166

Springer Publishing Company

Access to resources Recommend Favorite

Verification of Automated Pack Assembly

By Alton Rosemary  

Assembly Automation, Vol. 13, Iss. 1, 1993-12 ,pp. : 24-27

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Developments in automated verification techniques

By Flanagan Cormac   König Barbara  

International Journal on Software Tools for Technology Transfer, Vol. 16, Iss. 2, 2014-04 ,pp. : 123-125

Springer Publishing Company

Access to resources Recommend Favorite

Refinement verification of the lazy caching algorithm

By Hesselink Wim  

Acta Informatica, Vol. 43, Iss. 3, 2006-10 ,pp. : 195-222

Springer Publishing Company

Access to resources Recommend Favorite