只为小站
首页
域名查询
文件下载
登录
论文研究-A Framework for Off-Line Conformance Testing of Timed Connectors.pdf
实时连接件的离线一致性测试,李少东,陈霄泓,协调在复杂信息物理系统中扮演了重要角色。协调语言模型的复杂性使得测试成为开发信息物理系统过程中非常重要的一环。一致性测试
2022-11-25 06:29:43
506KB
Formal
Method
Reo
Conformance
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
VideoDownloadHelper去除120分钟时间限制-高级版.zip
matlab时频分析工具箱+安装方法+函数说明+最新版tftb.
基于matlab扩频通信系统仿真(整套代码)
计算机专业实习日记+实习周记+实习总结
《应用非线性控制》(美)斯洛坦著;程代展译(清晰)
超大规模集成电路先进光刻理论与应用.pdf
RentingSystem.rar
非线性本构关系在ABAQUS中的实现.pdf
scratch版 我的世界.sb2
基于javaweb的网上购物系统(毕业论文+答辩PPT+开题报告+源代码)
CNN卷积神经网络Matlab实现
基于matlab的车牌识别系统设计
ChinaMeteorologicalDataHandler.R
风电场风速及功率数据.zip
最新下载
KViewer专业医学切片查看软件(K-Viewer),支持荧光切片,适用于医学生不知道怎么打开KFB格式文件
VLSI设计基础 李伟华(清晰pdf)
疯狂Workflow讲义 基于Activiti的工作流应用开发 配套源码
Discrete Time Signal Processing 离散时间信号处理 第三版 英文版和中文版 Oppenheim奥本海姆
掌讯3518-V006原版-增加强刷.救砖模式增量单刷脚本(内有说明).7z
小米米家小方智能摄像机降级包故障刷机包
MINI2440 VxWorks实验大纲.pdf
MINI6410 VxWorks实验大纲
VxWorks实验35个
VxWorks入门实验课对应源码
其他资源
ShipMMGmodel.zip
基于STM32F4系列的4个编码器4倍频的转速解析程序
delphi xe10 蓝牙串口通讯DEMO
【最新版】七蚁电子合同-1.3.8.zip 亲测 小程序版本
猴子选大王 C语言 数据结构课设
数码管显示的简易计算器
SecureBridge v6.2.3 for Delphi & BCB Full Source
OSGQT结合的例子VS2017+64位完美运行
郭天祥 十天学通单片机和C语言 课后作业+答案,整理7章
开四停四——广州限行区域.kml
微信(电脑PC端)缓存清理_x32_x64.zip
新冠考试复习题.docx
幸运数字抽奖软件
jdk-8u144-solaris-sparcv9.tar.gz
三次样条插值C程序,三次样条插值将一系列点用平滑曲线连在一起的算法...
Computational Statistics Handbook with MATLAB(统计计算在matlab中的实现)
Allegro软件--PADS软件--Altium Designer软件之间PCB文件相互转化
基于matlab的模板匹配与车牌识别
旋转编码器的抗抖动计数电路
p2p技术论文
Y470_Y570 2.10 bios 64位
基于AD1674模数转换芯片的接口电路设计
中国高校数据库
雷达信号的选择与处理