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 verificationmodel checkingreactive systemreachability 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-freesuperconducting magnetbismuth based superconducting current leadGM cryocooler
 Summary | Full Text:PDF(757.1KB)