Sorry, this section is only available in Japanese.
前のページに戻る この文献は全文を取り寄せることができます
JDreamⅢ複写サービスから文献全文の複写(冊子体のコピー)をお申込みできます。
ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です。
既に、G-Searchデータベースサービスまたは、JDreamⅢのIDをお持ちの方
JDreamⅢ複写サービスのご利用が初めての方
取り寄せる文献のタイトルと詳細
文献
J-GLOBAL ID:201902268284448790   整理番号:19A1540930

推論による形式的解析法の拡張: 非修復と公平性のための欠陥検出の事例研究【JST・京大機械翻訳】

An Extension of Formal Analysis Method with Reasoning: A Case Study of Flaw Detection for Non-repudiation and Fairness
著者 (4件):
Yan Jingchen
(Department of Information and Computer Sciences, Saitama University, Saitama, Japan)
Wang Yating
(Department of Information and Computer Sciences, Saitama University, Saitama, Japan)
Goto Yuichi
(Department of Information and Computer Sciences, Saitama University, Saitama, Japan)
Cheng Jingde
(Department of Information and Computer Sciences, Saitama University, Saitama, Japan)

資料名:
Lecture Notes in Computer Science  (Lecture Notes in Computer Science)

巻: 11445  ページ: 399-408  発行年: 2019年 
JST資料番号: H0078D  ISSN: 0302-9743  資料種別: 会議録 (C)
記事区分: 原著論文  発行国: ドイツ (DEU)  言語: 英語 (EN)
JDreamⅢ複写サービスとは
JDreamⅢ複写サービスは、学術文献の全文を複写(コピー)して取り寄せできる有料サービスです。インターネットに公開されていない文献や、図書館に収録されていない文献の全文を、オンラインで取り寄せることができます。J-GLOBALの整理番号にも対応しているので、申し込みも簡単にできます。全文の複写(コピー)は郵送またはFAXでお送りします

※ご利用には、G-Searchデータベースサービスまたは、JDreamⅢのIDが必要です
※初めてご利用される方は、JDreamⅢ複写サービスのご案内をご覧ください。