Search Results1-7 of  7

  • NAKAGAWA TOMOFUMI ID: 9000241439560

    Articles in CiNii:1

    • Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts (LSI Design Methodology Vol.4) (2011)
  • NAKAGAWA TOMOFUMI ID: 9000017546497

    Articles in CiNii:6

    • SAT-based discord computation for message sequence charts (2010)
    • SAT-based discord computation for message sequence charts (2010)
    • SAT-based Discord Computation for Message Sequence Charts (2010)
  • NAKAGAWA Tomofumi ID: 9000265259984

    鹿児島大学大学院 理工学研究科海洋土木工学専攻 (2014 from CiNii)

    Articles in CiNii:1

    • RESEARCH ON TIDAL CURRENT POWER POTENTIAL IN THE OSHIMA STRAIT (2014)
  • NAKAGAWA Tomofumi ID: 9000303998810

    鹿児島大学大学院 理工学研究科海洋土木工学専攻 (2015 from CiNii)

    Articles in CiNii:1

    • OBSERVATION AND NUMERICAL SIMULATION OF TIDAL CURRENT AROUND AMAMI-OSHIMA IN RELATION TO TIDAL POWER GENERATION (2015)
  • Nakagawa Tomofumi ID: 9000019967112

    Osaka University (2011 from CiNii)

    Articles in CiNii:1

    • Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts (2011)
  • Nakagawa Tomofumi ID: 9000020596944

    Articles in CiNii:1

    • Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts (2011)
  • Nakagawa Tomofumi ID: 9000242101759

    平成21年度専門課程II:生物統計分野 (2010 from CiNii)

    Articles in CiNii:1

    • Evaluation of the Cut-Off Points of the Early Stopping Rules for Futility of the Multi-Stage Design of Phase II Clinical Trials in Oncology (2010)
Page Top