只为小站
首页
域名查询
登录
论文研究-A Framework for Off-Line Conformance Testing of Timed Connectors.pdf
实时连接件的离线一致性测试,李少东,陈霄泓,协调在复杂信息物理系统中扮演了重要角色。协调语言模型的复杂性使得测试成为开发信息物理系统过程中非常重要的一环。一致性测试
2022-11-25 06:29:43
506KB
Formal
Method
Reo
Conformance
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
MTALAB NSGA2算法
上帝之眼和拾荒者.rar
拾荒者扫描器.rar
拾荒者.exe同时ID扫描器IP扫描器
QT自制精美Ui模板系列(一)桃子风格模板 - 二次开发专用
凯斯西储大学(CWRU)轴承数据集(含数据包+整理Python程序+使用说明)
工程伦理_李正风,丛杭青,王前_北京:清华大学出版社 , 2016.08_P329.pdf
麻雀搜索算法(SSA)优化bp网络
适用于eNSP 1.3.00 可加载的USG6000V防火墙设备包
JPEG的Matlab实现
基于YOLOV5的车牌定位和识别源码.zip
MVDR,Capon波束形成DO估计.zip
transformer_pytorch_inCV.rar
scratch版 我的世界.sb2
校园网规划与设计和pkt文件
最新下载
六子棋游戏软件NCTU6
Cocos2dx-lua xxtea解密工具
GSK980TD串行口通讯软件
易语言超高仿QQ聊天源码(打造自己的局域网聊天软件)
DEEP LEARNING 中文版
Acrobat.Pro.DC.v2019.exe
李宏毅-Deep Learning Tutorial-300页的PPT
溪谷软件vlcms手游平台程序 v1.2
elib++1.2#0版(第三方支持库),易语言elib++1.2#0版
VC实现的QQ聊天程序 包含客户端、服务器端
其他资源
波讯 BHU 说明书波讯 BHU 说明书 快速配置手册
内点法潮流优化程序
javaee简单登录和增删查改
matlab计算粗糙集的下近似属性依赖度和条件熵
自己用matlab写得傅里叶级数拟合方波信号(有详细注释)
Freakonomics 魔鬼经济学
office2016顽固卸载工具
JAVA课程设计,UDP 基于组播的聊天程序
VGG16实现MNIST数据集识别任务.py
基恩士PLC kv7500 入门教程
图像识别外文文献翻译.doc
struts2框架json传递后台数据到echarts
西门子simotion中文手册.pdf下载
leetcode-数组
简单画廊:使用此照片和视频库浏览您的回忆而不会受到干扰-源码
tomcat9.0安装包.rar
后台+安卓整套代码
org.apache.http.legacy.jar.
h264码流rtp传输demo
AspNetCore-release-2.2源代码
Web毕业设计《基于Web的图书推荐系统展示平台》
电子病历共享文档规范(互联互通)
编译原理语法分析、词法分析源代码报告
CSR ADK程序开发指南
基于MATLAB 6.X的系统分析与设计 神经网络