Shigeki TAKEUCHI


Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models
Takashi TOMITA Daisuke ISHII Toru MURAKAMI Shigeki TAKEUCHI Toshiaki AOKI 
Publication:   
Publication Date: 2020/02/01
Vol. E103-A  No. 2  pp. 451-461
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
model-based developmentMATLAB/Simulinktest case generationMonte-Carlo methodtemplate-based method
 Summary | Full Text:PDF(1.5MB)

An Experimental Realization of Quantum Cryptosystem
Toshio HASEGAWA Tsuyoshi NISHIOKA Hirokazu ISHIZUKA Jun'ichi ABE Katsuhiro SHIMIZU Mitsuru MATSUI Shigeki TAKEUCHI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2002/01/01
Vol. E85-A  No. 1  pp. 149-157
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
quantum cryptographykey distributionerror correctionBB84implementation
 Summary | Full Text:PDF(546.1KB)