Search Results1-14 of  14

  • Tomoyuki Yokogawa ID: 9000406165282

    Okayama Prefectural University, Japan (2008 from CiNii)

    Articles in CiNii:1

    • Formal Verification of Web Navigation by Symbolic Model Checking (2008)
  • YOKOGAWA TOMOYUKI ID: 9000255740871

    Department of Obstetrics and Gynecology, Juntendo University School of Medicine|Department of Obstetrics and Gynecology, Koto Hospital (1978 from CiNii)

    Articles in CiNii:1

    • FUNDAMENTAL AND CLINICAL STUDIES OF PC-904 IN THE FIELD OF OBSTETRICS AND GYNECOLOGY (1978)
  • YOKOGAWA Tomoyuki ID: 9000004833209

    Graduate School of Engineering Science, Osaka University (2003 from CiNii)

    Articles in CiNii:2

    • Feature Interaction Detection by Bounded Model Checking (2003)
    • Verifying Fault Tolerance of Concurrent Systems by Model Checking (2002)
  • YOKOGAWA Tomoyuki ID: 9000005060462

    Osaka University (1998 from CiNii)

    Articles in CiNii:2

    • A mathematical modeling of circumferential GTA welding of pipe with single-Vee groove (1998)
    • Model Analysis of Circumferential GTA Welding Pipes (1998)
  • YOKOGAWA Tomoyuki ID: 9000248234095

    the Okayama Prefectural University (2012 from CiNii)

    Articles in CiNii:1

    • Synthesis and Refinement Check of Sequence Diagrams (2012)
  • YOKOGAWA Tomoyuki ID: 9000254664735

    Osaka University (1998 from CiNii)

    Articles in CiNii:1

    • A mathematical modeling of circumferential GTA welding of pipe with single-Vee groove. (1998)
  • YOKOGAWA Tomoyuki ID: 9000254664777

    Osaka University (1998 from CiNii)

    Articles in CiNii:1

    • Model Analysis of Circumferential GTA Welding of Pipes. (1998)
  • 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: 9000406388114

    Okayama Prefectural University (2020 from CiNii)

    Articles in CiNii:1

    • Symbolic Representation of Time Petri Nets for Efficient Bounded Model Checking (2020)
  • Yokogawa Tomoyuki ID: 9000283589485

    Okayama Prefectural University (2015 from CiNii)

    Articles in CiNii:1

    • Bounded model checking of Time Petri Nets using SAT solver (2015)
  • 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)
  • Yokogawa Tomoyuki ID: 9000404528755

    Okayama Prefectural University (2019 from CiNii)

    Articles in CiNii:1

    • An In-Vehicle Contact-less Heartbeat Monitoring System Using UWB Sensor (2019)
  • yokogawa Tomoyuki ID: 9000388546926

    Articles in CiNii:1

    • Feature interaction detection by bounded model checking (2003)
Page Top