査読有り 2010年11月 プロセス代数によるアーキテクチャ記述の容易化に関する研究 情報処理学会研究報告SE-169 田口博一, 豊島真澄 記述言語 掲載種別 研究論文（研究会，シンポジウム資料等） エクスポート BibTeX RIS
