牧島 和見 | ペンシルバニア大学

スポンサーリンク

概要

• 牧島 和見の詳細を見る
• 同名の論文著者
• ペンシルバニア大学の論文著者

ペンシルバニア大学 | 論文

• セキュリティプロトコルの略式記法からspi計算への変換
• 例外処理機構を備えた命令型言語のCPS変換とその定式化
• 暗号化通信のspi計算による形式的検証
• CSFW-14報告
• II-B-66 自律神経薬のT-Wave Amplitudeに対する影響(精神薬理)(一般口演)

もっと見る

スポンサーリンク