..............page:102-105
Formal Development Method for Safety-Critical System
wang hai_feng 1; chen jian_ming 2; zhene zhong_yi 3(1.school of electronics and information engineering; 3.school of traffic and transportation; northern jiaotong university; beijing 100044; china; 2.information engineering department; armored force engineering institute; beijing 100072; china)
..............page:52-55
..............page:97-101
..............page:110-113
..............page:39-44,51
Ultrasonic Imaging Detection of Butt Welding on Gas Pipeline
zheng zhong_xing 1; ning zhi_gang 2; liu zhi_peng 2; sun yue_zong 3(1.school of sciences; northern jiaotong university; beijing 100044; china; 2.railway scientific instruments factory; beijing 100089; china; 3.wuxishi sutai industrial inspect research institute; wuxi 214031; china)
..............page:34-38
..............page:8-13,16
..............page:106-109
..............page:56-58,63