• DocumentCode
    3618936
  • Title

    Toward automatic generation of promela models from SDL specification

  • Author

    B. Vlaovic;A. Vreze;Z. Brezocnik;T. Kapus

  • Volume
    2
  • fYear
    2005
  • fDate
    6/27/1905 12:00:00 AM
  • Firstpage
    639
  • Lastpage
    644
  • Keywords
    "Automata","Formal verification","Mathematical model","Protocols","Probes","Electronic mail","Flowcharts","Formal specifications","Animation","Testing"
  • 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.185973
  • Filename
    1458652
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3618936