实时连接件的离线一致性测试,李少东,陈霄泓,协调在复杂信息物理系统中扮演了重要角色。协调语言模型的复杂性使得测试成为开发信息物理系统过程中非常重要的一环。一致性测试
2022-11-25 06:29:43 506KB Formal Method Reo Conformance
1
官方离线安装包,测试可用。使用rpm -ivh [rpm完整包名] 进行安装
2022-01-03 21:01:43 7KB rpm
官方离线安装包,测试可用。使用rpm -ivh [rpm完整包名] 进行安装
2022-01-03 17:02:07 6KB rpm
官方离线安装包,测试可用。使用rpm -ivh [rpm完整包名] 进行安装
2022-01-03 17:02:06 7KB rpm
自己做的一个定时关机小软件
2021-08-03 09:01:59 2.37MB 定时关机
1
绝大部分异常信息为:System.Net.WebException: The operation has timed out,即网络操作超时的异常
2021-04-18 18:00:44 2KB 超时 timed out
1
A Model Checking Approach to Analyzing Timed Compatibility in Mediation-aided Composition of Web Services
2021-02-07 16:03:13 440KB 研究论文
1