English  |  正體中文  |  简体中文  |  Total items :0  
Visitors :  51249246    Online Users :  1032
Project Commissioned by the Ministry of Education
Project Executed by National Taiwan University Library
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
About TAIR

Browse By

News

Copyright

Related Links

"jie hong jiang"

Return to Browse by Author
Sorting by Title Sort by Date

Showing items 176-179 of 179  (8 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8 
View [10|25|50] records per page

Institution Date Title Author
臺大學術典藏 2018 Static Detection of API Call Vulnerabilities in iOS Executables JIE-HONG JIANG;T. Bultan;J.-H. R. Jiang;F. Yu;C.-H. Lin; C.-H. Lin; F. Yu; J.-H. R. Jiang; T. Bultan; JIE-HONG JIANG
臺大學術典藏 2018 Efficient Computation of ECO Patch Functions 江介宏;JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG; 江介宏
臺大學術典藏 2018 Efficient Computation of ECO Patch Functions 江介宏;JIE-HONG JIANG;R. K. Brayton;A. Mishchenko;J.-H. R. Jiang;P.-H. Lin;L.-C. Chen;N.-Z. Lee;A. Q. Dao; A. Q. Dao; N.-Z. Lee; L.-C. Chen; P.-H. Lin; J.-H. R. Jiang; A. Mishchenko; R. K. Brayton; JIE-HONG JIANG; 江介宏
臺大學術典藏 2015-11 Property-directed synthesis of reactive systems from safety specifications Ting-Wei Chiang;Jie-Hong R. Jiang; Ting-Wei Chiang; Jie-Hong R. Jiang; JIE-HONG JIANG

Showing items 176-179 of 179  (8 Page(s) Totally)
<< < 1 2 3 4 5 6 7 8 
View [10|25|50] records per page