ʵʱ˲̬Âß¼­µç·


ÇëÊäÈëÒª²éѯµÄ´Ê£º Çл»´Êµä

Èç¹ûδÄܲ鵽ÄúµÄ½á¹û£¬ÇëÓÅ»¯ËÑË÷ºóÖØвéѯ¡£

ʵʱ˲̬Âß¼­µç·


[ÀÊÎĺºÓ¢×ۺϵçÄԴʵä]

ʵʱ˲̬Âß¼­µç·
real-time temporal logic

ÊÇʲôÒâ˼£¬ÊµÊ±Ë²Ì¬Âß¼­µç·µÄ½âÊÍ£¬ÊµÊ±Ë²Ì¬Âß¼­µç·µÄ·­Òë