Jump to main content

yr 〜
yr

Search results 4

The pilot-judgment procedure of the European Court of Human Rights

The pilot-judgment procedure of the European Court of Human Rights
Paper図書
by Dominik Haider.Martinus Nijhoff Publishers[2013]<A166-B157>
National Diet Library
  • Subject Heading... Verschiebung. Test cases

Enhancing System Reliability using Abstraction and Efficient Logical Computation

Enhancing System Reliability using Abstraction and Efficient Logical Computation
Digital博士論文障害者向け資料あり
Kutsuna, Takuro2015-09-24
Available onlineNational Diet LibraryOther Libraries in Japan

Automatic Examination-Based Whitelist Generation for XSS Attack Detection

Automatic Examination-Based Whitelist Generation for XSS Attack Detection
Digital図書
Inoue, Keisuke, Honda, Toshiki, Mukaiyama, Kohei, Ohki, Tetsushi, Nishigaki, MasakatsuSpringer, Cham2018-10-19Advances on Broadband and Wireless Computing, Communication and Applications25p.326-338
Other Libraries in Japan
  • Subject HeadingXSS Whitelist Attack Detection Test Cases

Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System

Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System
Digital規格・テクニカルリポート類
Aoki, Toshiaki, Satoh, Makoto, Tani, Mitsuhiro, Yatake, Kenro, Kishi, Tomoji北陸先端科学技術大学院大学先端科学技術研究科情報科学系2016-05-23Research report (School of Information Science, Graduate School of Advanced Science and Technology, Japan Advanced Institute of Science and Technology)IS-RR-2016-002p.1-11
Other Libraries in Japan

Reached to the end of result.

RSS