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

Volltext

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

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

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

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

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

Volltext

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

Volltext

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

Volltext

Application of the Pearson's Method in Model Software Quality Data Analysis von Yang, Jie, Zhong, Deming, Xu, Zhi

Volltext

On modeling approach for embedded real-time software simulation testing von Yongfeng, Y, Bin, L, Deming, Z, Tongmin, J

Volltext

General Development Framework and Its Application Method for Software Safety Case von Zeng, Fuping, Lu, Minyan, Zhong, Deming

Volltext

Engineering safety information in software intensive systems von Baiqiang Xia, Deming Zhong

Volltext bestellen

Software Safety Certification Framework Based on Safety Case von Fuping Zeng, Minyan Lu, Deming Zhong

Volltext bestellen

Designing generic safety test cases for airborne software von Changyong Yang, Xiaohong Bao, Deming Zhong, Zhen Li

Volltext bestellen

Research on the avionic software quality evaluation based on the WSR methodology von Tianshu Wang, Deming Zhong

Volltext

A STAMP Analysis on the China-Yongwen Railway Accident von Song, Tian, Zhong, Deming, Zhong, Hang

Volltext

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

Volltext bestellen

Pet state recognition device based on artificial intelligence technology von ZHONG DEMING, ZHANG YIFAN

Volltext bestellen

STPA METHOD AND DEVICE FOR ACCURATE IDENTIFICATION OF LOSS SCENARIOS von SUN, Rui, GONG, Haoyuan, ZHONG, Deming, GUO, Rui, ZHA, Yun

Volltext bestellen