講演・口頭発表等

1993年1月

ペトリネットに基づく検証方式 (チュートリアル)

電子情報通信学会第6回回路とシステム軽井沢ワークショップ