Search Results1-20 of  20

  • 横川 智教 ID: 9000299514583

    Articles in CiNii:1

    • A Case Study of Symbolic Model Checking for Large Scale Hardware IP (2015)
  • 横川 智教 ID: 9000299514799

    Articles in CiNii:1

    • A Case Study of Symbolic Model Checking for Large Scale Hardware IP (2015)
  • 横川 智教 ID: 9000382646889

    Articles in CiNii:1

    • Examination of the Normally-off using the stack circuit (2018)
  • 横川 智教 ID: 9000382647723

    Articles in CiNii:1

    • Examination of the Normally-off using the stack circuit (2018)
  • 横川 智教 ID: 9000404221499

    Articles in CiNii:1

    • 形式手法 - 普及拡大における課題解決を目指して - (2015)
  • 横川 智教 ID: 9000404223344

    Articles in CiNii:1

    • The Session on "Formal Methods" (2016)
  • 横川 智教 ID: 9000404249433

    Articles in CiNii:1

    • B_003 Formal verification for UML Sequence diagrams and Statecharts using model checking. (2006)
  • 横川 智教 ID: 9000404250821

    Articles in CiNii:1

    • K_067 High Resolution Multiwindow System with Ability of See-through of Windows (2006)
  • 横川 智教 ID: 9000404292627

    Articles in CiNii:1

    • 形式手法 - 導入推進のためのアプローチ - (2016)
  • 横川 智教 ID: 9000404301894

    Articles in CiNii:1

    • MathSATを用いたsafe Time Petri Netの非有界モデル検査手法 (2018)
  • 横川 智教 ID: 9000404301904

    Articles in CiNii:1

    • モデル検査向け教育用ビジュアルプログラミング言語の開発 (2018)
  • 横川 智教 ID: 9000404308272

    Articles in CiNii:1

    • 形式手法-導入支援と技術教育- (2018)
  • 横川 智教 ID: 9000404473686

    Articles in CiNii:1

    • An energy efficient plant monitoring system on drones with edge AI module (2019)
  • 横川 智教 ID: 9000404473771

    Articles in CiNii:1

    • An energy efficient plant monitoring system on drones with edge AI module (2019)
  • 横川 智教 ID: 9000404474485

    Articles in CiNii:1

    • An energy efficient plant monitoring system on drones with edge AI module (2019)
  • 横川 智教 ID: 9000408493114

    Articles in CiNii:1

    • A Serial Multiplier based on Sequential Subtraction from Maximum Products and Its Negative Number Calculation Method (2020)
  • YOKOGAWA Tomokazu ID: 9000004783995

    Articles in CiNii:85

    • A Performance Evaluation Tool for Large Scale Logic Circuits Modeled by Stochastic Timed Petri Net (2009)
    • A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation (2011)
    • A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation (2011)
  • YOKOGAWA Tomoyuki ID: 9000316692038

    Dept. of System Engineering, Okayama Prefectural University (2015 from CiNii)

    Articles in CiNii:1

    • A Performance Evaluation Tool of GALS Systems for Design Optimization (2015)
  • YOKOGAWA Tomoyuki ID: 9000378101150

    Faculty of Computer Science and System Engineering, Okayama Prefectural University (2017 from CiNii)

    Articles in CiNii:1

    • Report on the 23rd Foundation of Software Engineering Workshop (FOSE2016) (2017)
  • Yokogawa Tomoyuki ID: 9000317153687

    Okayama Prefectural University (2016 from CiNii)

    Articles in CiNii:1

    • Modelling Method of Web Navigation for Automatic Verification and Test Generation using State Machine Diagrams (2016)
Page Top