refusal模型相关论文
在实时通信顺序进程(TCSP)的基础上对离散事件动态系统(DEDS)进行建模、规范和证实.介绍了TCSP中与DEDS相关的一些研究成果,根据离......
在实时通信顺序进程（TCSP）的基础上对离散事件动态系统（DEDS）进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果，根据离散事......
