『徳島大学 教育・研究者情報データベース (EDB)』---[学外] /
ID: Pass:

登録内容 (EID=172499)

EID=172499EID:172499, Map:0, LastModified:2017年1月18日(水) 11:12:10, Operator:[三木 ちひろ], Avail:TRUE, Censor:0, Owner:[池田 建司], Read:継承, Write:継承, Delete:継承.
○種別 (必須): □国際会議 [継承]
○言語 (必須): □英語 [継承]
○招待 (推奨):
○審査 (推奨): □Peer Review [継承]
○カテゴリ (推奨): □研究 [継承]
○共著種別 (推奨):
○学究種別 (推奨):
○組織 (推奨): 1.徳島大学.工学部.知能情報工学科.知能工学講座 [継承]
○著者 (必須): 1.下村 隆夫
○役割 (任意):
○貢献度 (任意):
○学籍番号 (推奨):
[継承]
2. (英) Nhor Sok Lang (日) (読)
○役割 (任意):
○貢献度 (任意):
○学籍番号 (推奨):
[継承]
3.池田 建司 ([徳島大学.大学院社会産業理工学研究部.理工学域.知能情報系.知能工学分野]/[徳島大学.理工学部.理工学科.情報光システムコース.知能工学講座])
○役割 (任意):
○貢献度 (任意):
○学籍番号 (推奨):
[継承]
○題名 (必須): □(英) Extensible Syntax-Oriented Verifier and Its Implementation  (日)    [継承]
○副題 (任意):
○要約 (任意):
○キーワード (推奨):
○発行所 (推奨): □ (英) IASTED (日) (読) [継承]
○誌名 (必須): □ (英) Proceedings of the IASTED International Conference on Software Engineering (日) (読)
○ISSN (任意):
[継承]
○巻 (必須): □ [継承]
○号 (必須): □ [継承]
○頁 (必須): □298 303 [継承]
○都市 (必須): □ (英) Innsbruck, Austria (日) (読) [継承]
○年月日 (必須): □西暦 2008年 2月 12日 (平成 20年 2月 12日) [継承]
○URL (任意):
○DOI (任意):
○PMID (任意):
○NAID (任意):
○WOS (任意):
○Scopus (任意):
○評価値 (任意):
○被引用数 (任意):
○指導教員 (推奨):
○備考 (任意):

標準的な表示

和文冊子 ● Takao Shimomura, Lang Sok Nhor and Kenji Ikeda : Extensible Syntax-Oriented Verifier and Its Implementation, Proceedings of the IASTED International Conference on Software Engineering, 298-303, Innsbruck, Austria, Feb. 2008.
欧文冊子 ● Takao Shimomura, Lang Sok Nhor and Kenji Ikeda : Extensible Syntax-Oriented Verifier and Its Implementation, Proceedings of the IASTED International Conference on Software Engineering, 298-303, Innsbruck, Austria, Feb. 2008.

関連情報

Number of session users = 0, LA = 1.69, Max(EID) = 373277, Max(EOID) = 998582.