Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Fang, Huixing
65  Ergebnisse:
Personensuche X
?
1

Response time analysis of a manufacturing supply chain with..:

Ding, Jie ; Sun, Hui ; Chen, Xiao.
Computers & Industrial Engineering.  167 (2022)  - p. 108043 , 2022
Link: https://doi.org/10.1016/..
 
?
2

A Note on Reaction-Diffusion Equations Derived from a PEPA ..:

, In: Lecture Notes in Electrical Engineering; Proceedings of 2021 Chinese Intelligent Systems Conference,
Ding, Jie ; Fang, Huixing - p. 67-71 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Hierarchical structure of a green supply chain:

Ding, Jie ; Chen, Xiao ; Sun, Hui..
Computers & Industrial Engineering.  157 (2021)  - p. 107303 , 2021
Link: https://doi.org/10.1016/..
 
?
4

Optimized Step Semantics Encoding for Bounded Model Checkin..:

, In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE),
Chen, Zuxi ; Fang, Huixing ; Luo, Xiangyu - p. 93-98 , 2019
Link: https://doi.org/10.1109/..
 
?
5

Comparative modelling and verification of Pthreads and Dthr..:

Fei, Yuan ; Zhu, Huibiao ; Wu, Xi..
Journal of Software: Evolution and Process.  30 (2017)  3 - p. , 2017
Link: https://doi.org/10.1002/..
 
?
6

Energy-saving analysis of ground source heat pump combined ..:

Zhang, Linhua ; Fang, Huixing ; Wang, Wei.
Procedia Engineering.  205 (2017)  - p. 4067-4073 , 2017
Link: https://doi.org/10.1016/..
 
?
7

SMT-Based Symbolic Encoding and Formal Analysis of HML Mode..:

Fang, Huixing ; Zhu, Huibiao ; He, Jifeng
Mobile Networks and Applications.  21 (2016)  1 - p. 35-52 , 2016
Link: https://doi.org/10.1007/..
 
?
8

Formal verification and simulation for platform screen door..:

Fang, Huixing ; Shi, Jianqi ; Zhu, Huibiao...
International Journal on Software Tools for Technology Transfer.  16 (2014)  4 - p. 339-361 , 2014
Link: https://doi.org/10.1007/..
 
?
9

xBIL -- A Hardware Resource Oriented Binary Intermediate La..:

, In: 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems,
Shi, Jianqi ; Zhu, Longfei ; Fang, Huixing... - p. 211-219 , 2012
Link: https://doi.org/10.1109/..
 
?
10

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating Sys..:

, In: 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems,
Shi, Jianqi ; He, Jifeng ; Zhu, Huibiao... - p. 293-301 , 2012
Link: https://doi.org/10.1109/..
 
?
11

Comparative modelling and verification of Pthreads and Dthr..:

Fei, Yuan ; Zhu, Huibiao ; Wu, Xi..
Fei , Y , Zhu , H , Wu , X , Fang , H & Qin , S 2017 , ' Comparative modelling and verification of Pthreads and Dthreads ' , Journal of Software: Evolution and Process , pp. - . https://doi.org/10.1002/smr.1919.  , 2017
Link: https://research.tees.ac..
 
?
12

Apricot - An Object-Oriented Modeling Language for Hybrid S..:

Fang, Huixing ; Zhu, Huibiao ; Shi, Jianqi
http://arxiv.org/abs/1304.6498.  , 2013
Link: http://arxiv.org/abs/130..
 
?
13

Anti-reduction mechanism of Ba4.2Sm9.2Ti18O54 ceramics by M..:

Li, Qun ; Peng, Haiyi ; Fang, Weishuang...
Ceramics International.  50 (2024)  16 - p. 28290-28295 , 2024
Link: https://doi.org/10.1016/..
 
?
14

Sm2-Ce O3+/2 Composite microwave dielectric ceramics with t..:

Sun, Yun ; Li, Jie ; Lin, Huixing...
Journal of the European Ceramic Society.  44 (2024)  10 - p. 5738-5743 , 2024
Link: https://doi.org/10.1016/..
 
?
15

Tuning ε and τ by the combined effects of rattling RE3+ and..:

Meng, Kuiyi ; Wu, Daofu ; Wang, Sijie...
Ceramics International.  50 (2024)  15 - p. 26792-26798 , 2024
Link: https://doi.org/10.1016/..
 
1-15