Search Results1-3 of  3

  • YAMANOKUCHI TAKASHI ID: 9000004540658

    Dept. of computer science, Kagoshima university (2001 from CiNii)

    Articles in CiNii:3

    • Empirical Studies of Deductive Verification and Automated Deductive Verification for Real - Time Systems (2000)
    • Deductive Verification for Real-Time Systems (2000)
    • Deductive Refinement Verification Method based on Assume-Guarantee Style for Real-Time Software (2001)
  • YAMANOKUCHI Takashi ID: 1000030410286

    Graduate School of Natural Science and Technology, Kanazawa University (2005 from CiNii)

    Articles in CiNii:5

    • A Hypothetical Reasoning System Which Considers Failures in Reasonings (2005)
    • 火災早期発見のためのガスセンサシステムの開発 (2005)
    • Early Fire Detection using Gas Sensing Array (2005)
  • Yamanokuchi Takashi ID: 9000020195878

    Articles in CiNii:1

    • Remote Education by Making Use of Video Conferencing System (2008)
Page Top