UM
(本次检索基于用户作品认领结果)

浏览/检索结果: 共1条,第1-1条 帮助

限定条件                                
已选(0)清除 条数/页:   排序方式:
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
作者:  Liu Z.;  Ravn A.P.;  Li X.
收藏  |  浏览/下载:0/0  |  提交时间:2019/02/14
Design  Real-time  Refinement  Specification  Verification