Advanced Search
    SDLTRAN: An Interactive Generator for Formal Specification Language SDLJ. Journal of Computer Research and Development, 1994, 31(11).
    Citation: SDLTRAN: An Interactive Generator for Formal Specification Language SDLJ. Journal of Computer Research and Development, 1994, 31(11).
    shu

    SDLTRAN: An Interactive Generator for Formal Specification Language SDL

      Graphical Abstract
      • Abstract
    • This paper reports an interactive generator for SDLnamed SDL-TRAN,which Can automatically translate FSM into SDL specification.Besides the automatic part,SDLTRAN includes a graphical editor.
      • FullText(HTML)
    • loading
      • References (0)
      • Related Articles

    Catalog

      Turn off MathJax
      Article Contents
      Email Alert RSS

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return