Basic Search / Search Result

  • Search Result: 4results Search Strategy： "Graduate Institute of Information and Computer Education".edept (Phrase) and ekeyword.raw="compositional analysis"


  • Refine the results： Search Expand the trend chart of search results

  • Individualized services：

    My Search Strategy

  • Sort:

      
    • Save Print E-mail Bookmark

    Selected0results

      Select all on this page

    1
    An Extended PROMELA Parser Which Generates Compact CCS State Graphs Using Data Flow Analysis for Refactoring Automation

    2
    On-the-fly Bisimulation Minimization in Compositional Analysis

    3
    Generating State Graphs from Abstract Syntax Tree for Unified Transformations to Avoid State Explosion Compositionally

    4
    A Compositional Analysis Tool Suite Implemented with Java
  • 1