このアイテムへのリンクには次のURLをご利用ください: https://doi.org/10.11501/3100717

このアイテムへのリンクには次のURLをご利用ください: https://hdl.handle.net/11094/717

閲覧可能ファイル 

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明
11969_Abstract	pdf	なし	153 KB	70	2014.08.04	要旨/Abstract
11969_Dissertation	pdf	なし	2.81 MB	50	2012.09.22	論文/Dissertation

論文情報

ファイル出力

タイトル	A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications
	通信プロトコルの自然語仕様から実行可能な代数的仕様への変換法
	ツウシン プロトコル ノ シゼンゴ シヨウ カラ ジッコウ カノウナ ダイスウテキ シヨウ エノ ヘンカンホウ
著者	NRID 1000000263434 1000000263434 著者名 石原, 靖哲 ; イシハラ, ヤスノリ ; Ishihara, Yasunori
学位名	博士（工学）
学位授与年月日	1995-03-23
学位授与機関	大阪大学
学位授与番号	乙第06604号
学位記番号	11969
言語	英語
ハンドルURL	https://hdl.handle.net/11094/717
DOI	https://doi.org/10.11501/3100717
アクセス権	open access
出版タイプ	Version of Record
カテゴリ	博士論文 本文あり / その他 / 1994年度
	博士論文 / その他 / 1994年度

ホームへ戻る