Engineering of Communication Systems and Protocols

Part of book or chapter of book English OPEN
Latkoski, Pero; Popovski, Borislav;
  • Publisher: InTech
  • References (4)

    Networking, Sensing and Control (ICNSC), pp. 441 - 446, ISBN: 978-1-4244-6450-0, Chicago, USA, 10-12 April 2010 Estelle (1989). Information Processing Systems - OSI: Estelle, A Formal Description Technique Based on an Extended State Transition Model, International Standard 9074, June 1989 ETSI. Available from Gotzhein R., et al. (2009). Energy-Aware System Design with SDL, Proceedings of the 14th international SDL conference on Design for motes and mobiles - SDL'09, pp. 19-33, ISBN:3-642-04553-7 978-3-642-04553-0, September 22-24, Bochum, Germany Hall A. (1990), Seven Myths of Formal Methods, IEEE Software, Vol. 7, No. 5, Sept. 1990, pp.

    11-19, September 1990 IEEE. Available from Latkoski P. et al. (2010). Modeling and optimization of bandwidth request procedure in IEEE 802.16 networks, Proceedings of the IEEE 21st International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC), 2010, pp. 1469 - 1474, ISBN: 978-1-4244-8017-3, September 26-30, 2010, Istanbul, Turkey.

    Wing J. M. (1990), A Specifier's Introduction to Formal Methods, IEEE Computer, Vol. 23, No.

    9, pp. 8-24, September 1990 WiMAX (2010). IEEE Std 802.16-2004, IEEE Standard for Local and metropolitan area networks, Part 16: Air Interface for Fixed Broadband Wireless Access Systems WiFi (2007) IEEE Std IEEE 802.11, IEEE Standard for Wireless LAN Medium Access Control and Physical Layer Specification. 3GPP. Available from

  • Metrics
Share - Bookmark

  • Download from
    InTech via InTech (Part of book or chapter of book, 2012)
  • Cite this publication