非确定时间有限状态机相关论文
为了能够利用Wp方法在时间自动机上产生测试用例必须根据格子自动机构造非确定时间有限状态机.本文给出一种构造方法,证明了该方法......
会议