[ 키워드 : " Kong , Weiqiang "] 
 phase change material ( 28 ) 
 sodium acetate trihydrate ( 27 ) 
 supercooling ( 24 ) 
 seasonal heat storage ( 14 ) 
 solar collector ( 13 ) 
 energy ( all ) ( 9 ) 
 model checking ( 9 ) 
 phase separation ( 7 ) 
 solar heating ( 7 ) 
 algebraic specification ( 6 ) 
 dynamic mathematical model ( 6 ) 
 dynamic test method ( 6 ) 
 latent heat ( 5 ) 
 sodium acetate ( 5 ) 
 thermal - energy storage ( 5 ) 
 flat - plate collectors ( 4 ) 
 formal semantics ( 4 ) 
 heat loss ( 4 ) 
 levelized cost of heat ( 4 ) 
 phase - change materials ( 4 ) 
 thermal model ( 4 ) 
 thermodynamic performance ( 4 ) 
 xanthan gum ( 4 ) 
 behavioral specification ( 3 ) 
 cafeobj ( 3 ) 
 2018 7 th international congress on advanced applied informatics ( iiai - aai ) , advanced applied informatics ( iiai - aai ) , 2018 7 th international congress on , iiai - aai ( 3 ) 
 2018 5 th international conference on dependable systems and their applications ( dsa ) , dependable systems and their applications ( dsa ) , 2018 5 th international conference on , dsa ( 2 ) 
 2019 6 th international conference on dependable systems and their applications ( dsa ) , dependable systems and their applications ( dsa ) , 2019 6 th international conference on ( 2 ) 
 journal of hebei radio & tv university ( 2 ) 
 sustainable energy technologies and assessments ( 2 ) 
 河北 广 播 电 视 大 学 学 报 ( 2 ) 
 艺 术 探索 ( 2 ) 
 2015 ieee 39 th annual computer software & applications conference ( 1 ) 
 2016 5 th iiai international congress on advanced applied informatics ( iiai - aai ) , advanced applied informatics ( iiai - aai ) , 2016 5 th iiai international congress on , advanced applied informatics , iiai international conference on ( 1 ) 
 2019 international symposium on theoretical aspects of software engineering ( tase ) , theoretical aspects of software engineering ( tase ) , 2019 international symposium on ( 1 ) 
 arts exploration ( 1 ) 
 arts exploration , journal of guangxi arts college ( 1 ) 
 formal methods & software engineering ( 9783540474609 ) ( 1 ) 
 integrated formal methods ( 9783540732099 ) ( 1 ) 
 proceedings of the 1 st international conference : theory & practice of electronic governance ( 1 ) 
 高等 农 业 教 育 ( 1 ) 
 international solar energy society ( 2 ) 
 北 陸 先端 科 学 技術 大 学 院 大 学 情報 科 学 研 究 科 ( 1 ) 
 電子 情報 通信 学 会 ( 1 ) 
 Non - Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking 
 2019 IEEE 25 th International Conference on Parallel and Distributed Systems ( ICPADS ) ICPADS Parallel and Distributed Systems ( ICPADS ) , 2019 IEEE 25 th International Conference on . : 844 - 851 Dec , 2019 
 Zhou , Kuanjiu 
 Communication , Networking and Broadcast Technologies / Computing and Processing / Signal Processing and Analysis / embedded software , interrupt mechanism , non deterministic software behavior , probabilistic model checking , bounded model checking 
 Method - Level Permission Analysis Based on Static Call Graph of Android Apps 
 2018 5 th International Conference on Dependable Systems and Their Applications ( DSA ) DSA Dependable Systems and Their Applications ( DSA ) , 2018 5 th International Conference on . : 8 - 14 Sep , 2018 
 Computing and Processing / Method - Level Permission Analysis , Android , Permission System , Static Call Graph 
 2018 7 th International Congress on Advanced Applied Informatics ( IIAI - AAI ) IIAI - AAI Advanced Applied Informatics ( IIAI - AAI ) , 2018 7 th International Congress on . : 125 - 128 Jul , 2018 
 Computing and Processing / HW / SW Co - verification / Formal Verification / Model Checking / Embedded System / PSL 
 Computing and Processing / Smart Mobility / Life - Cycle - Oriented / Uncertainty / Real Word / ITS / Smart Energy 
 2018 7 th International Congress on Advanced Applied Informatics ( IIAI - AAI ) IIAI - AAI Advanced Applied Informatics ( IIAI - AAI ) , 2018 7 th International Congress on . : 86 - 91 Jul , 2018 
 Fukud , Akira 
 Computing and Processing / real - time embedded system , interrupt behavior , continuous stochastic logic , probabilistic model checking 
 Compiler Testing : A Systematic Literature Analysis 
 Tang , Yixuan