前のページに戻る
この文献は全文を取り寄せることができます
JDreamⅢ複写サービスから文献全文の複写（冊子体のコピー）をお申込みできます。
ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です。
ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です。
既に、G-Searchデータベースサービスまたは、JDreamⅢのIDをお持ちの方
JDreamⅢ複写サービスのご利用が初めての方
取り寄せる文献のタイトルと詳細
文献
J-GLOBAL ID：201802284362266036
整理番号：18A1724246
行動空間を用いた自然言語仕様に対するプロセスコンプライアンスのチェック【JST・京大機械翻訳】
Checking process compliance against natural language specifications using behavioral spaces
van der Aa Han
(Department of Computer Sciences, VU University Amsterdam, Faculty of Sciences, De Boelelaan 1081, Amsterdam, 1081HV, The Netherlands)
,
Leopold Henrik
(Department of Computer Sciences, VU University Amsterdam, Faculty of Sciences, De Boelelaan 1081, Amsterdam, 1081HV, The Netherlands)
,
Reijers Hajo A.
(Department of Computer Sciences, VU University Amsterdam, Faculty of Sciences, De Boelelaan 1081, Amsterdam, 1081HV, The Netherlands)
,
Reijers Hajo A.
(Department of Mathematics and Computer Science, Eindhoven University of Technology, PO Box 513, 5600MB, Eindhoven, The Netherlands)
資料名：
Information Systems
(Information Systems)
巻： 78 ページ： 83-95 発行年： 2018年
JST資料番号： H0277C ISSN： 0306-4379 CODEN： INSYD6 資料種別： 逐次刊行物 (A)
記事区分： 原著論文 発行国： オランダ (NLD) 言語： 英語 (EN)
JDreamⅢ複写サービスとは
JDreamⅢ複写サービスは、学術文献の全文を複写（コピー）して取り寄せできる有料サービスです。インターネットに公開されていない文献や、図書館に収録されていない文献の全文を、オンラインで取り寄せることができます。J-GLOBALの整理番号にも対応しているので、申し込みも簡単にできます。全文の複写（コピー）は郵送またはFAXでお送りします
※ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です
※初めてご利用される方は、JDreamⅢ複写サービスのご案内をご覧ください。
※ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です
※初めてご利用される方は、JDreamⅢ複写サービスのご案内をご覧ください。