HeJifeng

Semantic theories of programs with nested interrupts

ZhuHuibiao, QinShengchao, ZhaoYongxin, 2015 .

A novel requirement analysis approach for periodic control systems

GuBin, WangZheng, ZhaoYongxin, 2013 .

Refinement and Test Case Generation in UTP

HeJifeng, K AichernigBernhard, 2007 .

Modeling and analysis of interactive telemedicine systems

LiuJing, HeJifeng, XiongXijiao, 2015 .

Hybrid MARTE statecharts

LiuJing, HeJifeng, DingZuohua, 2013 .