CORC

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

限定条件                
已选(0)清除 条数/页:   排序方式:
An efficient approach for verifying automobile distributed application systems on timing property. 期刊论文
ICSE: International Conference on Software Engineering, 2018, 页码: 230-231
作者:  Zhang, H.a;  Li, G.b;  Li, X.c;  Cheng, Z.d;  Xue, J.d
收藏  |  浏览/下载:3/0  |  提交时间:2019/11/21
CDFLOW: A Practical Tool for Tracing Stationary Behaviors of General Distribution Networks 期刊论文
IEEE Transactions on Power Systems, 2014, 卷号: Vol.29 No.3, 页码: 1365-1371
作者:  Sheng, H.a;  Chiang, H.-D.b
收藏  |  浏览/下载:4/0  |  提交时间:2019/11/21


©版权所有 ©2017 CSpace - Powered by CSpace