Yutaka YAMADA

Verification of a Microcomputer Program Specification Embedded in a Reactive System
Yasunori ISHIHARA Kiichiro NINOMIYA Hiroyuki SEKI Daisuke TAKAHARA Yutaka YAMADA Shigesada OMOTO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2000/05/25
Vol. E83-D  No. 5  pp. 1082-1091
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
compositional verification, model checking, reactive system, reachability graph, 
 Summary | Full Text:PDF(806.3KB)
Development of Liquid Helium-Free Superconducting Magnet
Junji SAKURABA Mamoru ISHIHARA Seiji YASUHARA Kazunori JIKIHARA Keiichi WATAZAWA Tsuginori HASEBE Chin Kung CHONG Yutaka YAMADA Kazuo WATANABE 
Publication:   IEICE TRANSACTIONS on Electronics
Publication Date: 1995/05/25
Vol. E78-C  No. 5  pp. 535-541
Type of Manuscript:  INVITED PAPER (Special Issue on Superconducting Electronics and Its Applications)
Category: Applications of small-size high field superconducting magnet
Keyword: 
liquid helium-free, superconducting magnet, bismuth based superconducting current lead, GM cryocooler, 
 Summary | Full Text:PDF(757.1KB)