• DocumentCode
    3443777
  • Title

    Introduction to the special session on formal verification of telecommunications systems

  • Author

    Kapus, Tatjana ; Jezic, Gordan

  • Volume
    2
  • fYear
    2005
  • fDate
    June 15-17, 2005
  • Firstpage
    609
  • Lastpage
    609
  • Keywords
    Communication industry; Computer science; Formal specifications; Formal verification; Mobile radio mobility management; Protocols; Special issues and sections; System testing; Telecommunication computing; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Telecommunications, 2005. ConTEL 2005. Proceedings of the 8th International Conference on
  • Print_ISBN
    953-184-081-4
  • Type

    conf

  • DOI
    10.1109/CONTEL.2005.185967
  • Filename
    1458646
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3443777