研究発表 - 猪股　俊光

相互監視による高信頼度分散システム(ハートビート発生方式)

学会  電子情報通信学会2003年ソサイエティ大会講演論文集  口頭（一般） 

2003年09月

　

　

線形論理により構成されるペトリネットを用いた仕様検証の一手法

学会  電子情報通信学会総合大会  口頭（一般） 

2002年03月