System-Theoretic Process Analysis Based on SysML/MARTE and NuSMV von Zhong, Deming, Sun, Rui, Gong, Haoyuan, Wang, Tianhuai

Volltext

Integrating Model Checking With SysML in Complex System Safety Analysis von Wang, Hongli, Zhong, Deming, Zhao, Tingdi, Ren, Fuchun

Volltext

A Safety Analysis Method of Airborne Software Based on ARP4761 von Sun, Rui, Zhong, Deming, Li, Weigang, Lu, Minyan, Ding, Yuxin, Xu, Zhi, Gong, Haoyuan, Zha, Yun

Volltext

An experimental approach to selecting chemical inhibitors to retard the spontaneous combustion of coal von Wang, Deming, Dou, Guolan, Zhong, Xiaoxing, Xin, Haihui, Qin, Botao

Volltext

Effectiveness of catechin and poly(ethylene glycol) at inhibiting the spontaneous combustion of coal von Dou, Guolan, Wang, Deming, Zhong, Xiaoxing, Qin, Botao

Volltext

Jia ding mei quan ba yin / [Zhong Deming hui ji.,加訂美全八音 / [鍾德明彙輯 : v.1-2 von Zhong, Deming., 鍾德明

Volltext bestellen

Micro-Injury Induces Hair Regeneration and Vitiligo Repigmentation Through Wnt/β-Catenin Pathway von Han, Xiaofeng, Chang, Li, Qiu, Zhijin, Lin, Mao, Wang, Yuyi, Liu, Deming, Diao, Qingchun, Zhong, Julia Li, Xu, Wei

Volltext

Penalty mitigation for OSC-induced XPM in long-haul WDM coherent systems by digital up-conversion coding von Chen, Zhuo, Zhang, Jie, Zhong, Linsheng, Dai, Xiaoxiao, Mei, Liang, Du, Ping, Wang, Yaqin, Yang, Tianpu, Yang, Qi, Liu, Deming

Volltext

Analysis of novel stochastic switched SILI epidemic models with continuous and impulsive control von Gao, Shujing, Zhong, Deming, Zhang, Yan

Volltext

Avionics system failure analysis and verification based on model checking von Wang, Hongli, Zhong, Deming, Zhao, Tingdi

Volltext

Theory and application of magnetic and self-potential methods in the detection of the Heshituoluogai coal fire, China von Shao, Zhenlu, Wang, Deming, Wang, Yanming, Zhong, Xiaoxing

Volltext

Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach von Xu, Zhi, Zhong, Deming, Li, Weigang, Huang, Hao, Sun, And Yigang

Volltext

Design of a 12-Bit SAR ADC with Calibration Technology von Wang, Deming, Hu, Jing, Huang, Xin, Zhong, Qinghua

Volltext

Electrical resistivity of coal-bearing rocks under high temperature and the detection of coal fires using electrical resistance tomography von Shao, Zhenlu, Wang, Deming, Wang, Yanming, Zhong, Xiaoxing, Tang, Xiaofei, Xi, Dongdong

Volltext

A remark on stochastic stability of a novel hybrid system von Gao, Shujing, Zhong, Deming, Zhang, Yan

Volltext

Polarization- and wavelength-independent SBS-based filters for high resolution optical spectrum measurement von Xing, Chen, Ke, Changjian, Zhang, Ke, Guo, Zhen, Zhong, Yibo, Liu, Deming

Volltext

Analysis of novel stochastic switched S I L I epidemic models with continuous and impulsive control von Gao, Shujing, Zhong, Deming, Zhang, Yan

Volltext

High-input dynamic range and selectivity stimulated Brillouin scattering-based microwave photonic filter utilizing a dual-stage scheme von Zhang, Ke, Zhong, Yibo, Ke, Changjian, Liu, Deming

Volltext

Experimental study of the self-potential anomaly caused by coal fires von Shao, Zhenlu, Wang, Deming, Wang, Yanming, Zhong, Xiaoxing, Zhang, Yunxiang, Song, Wujun

Volltext

Formal system interactive failure analysis method based on systems theoretic process analysis model von Sun, Rui, Zhong, Deming, Li, Weigang

Volltext