包含时间约束的作战任务建模与验证方法

郁文枢，周勇，燕雪峰

Modeling and verification method of operational task model including temporal constraints

YU Wenshu, ZHOU Yong, YAN Xuefeng

计算机工程与应用 . 2016, (11): 238 -242 .