没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
A Method of Verification of Software Based on CPN
A Method of Verification of Software Based on CPN
研究论文
0 下载量
148 浏览量
2021-02-07
18:42:19
上传
评论
收藏
328KB
PDF
举报
温馨提示
立即下载
A Method of Verification of Software Based on CPN
资源推荐
资源评论
Automatic Generation Method of Test Path Based on Android Mobile Terminal Software
浏览：146
It is especially important for generating automatically test scenarios of software testing in Android mobile terminals, so test scenarios should cover all the test cases and ensure that as little as p
An improved Software Refactoring Method Based on Hierarchical Clustering Algorithm
浏览：17
An improved Software Refactoring Method Based on Hierarchical Clustering Algorithm
Design and Verification of SDRAM Controller Based on FPGA.pdf
浏览：134
Design and Verification of SDRAM Controller Based on FPGA.pdf
Design and Verification of FPGA-Based Applications in Nuclear Power Plants.pdf
浏览：21
Design and Verification of FPGA-Based Applications in Nuclear Power Plants.pdf
Handbook of Biometric Anti-Spoofing: Presentation Attack Detection
浏览：43
describes the results yielded by key competitions on fingerprint liveness detection, iris liveness detection, and software-based face anti-spoofing; provides analyses of PAD in fingervein recognition
Advanced Verification Techniques A SystemC Based Approach for Successful Tapeout
浏览：103
Advanced Verification Techniques A SystemC Based Approach for Successful Tapeout.pdf很难找到的好电子书
Verification of asynchronous circuits based on zero-suppressed BDDs
浏览：40
Verification of asynchronous circuits based on zero-suppressed BDDs Verification of Asynchronous Circuits Based on Zero-Suppressed BDDs Koichi Masukura, Minoru Tomisaka, and Tomohiro Yoneda ...
Fault insertion testing of a novel CPLD-based fail-safe system.pdf
浏览：100
This paper describes a method to accomplish fault insertion testing of a system based on the novel CPLD-based architecture using the original system hardware. The goal is to verify the realized ...
Verification of Object-Oriented Software-The KeY Approach
浏览：194
5星 · 资源好评率100%
A very good book on verification Edited by J. G. Carbonell and J. Siekmann Verification of Object-Oriented Software-The KeY Approach
(2009 Springer)Software Verification and Analysis：An Integrated, Hands-On Approach
浏览：195
4星 · 用户满意度95%
number of residual programming faults (“bugs”) and their impact on the software’s behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of ...
A Component Testability Model for Verification and Measurement
浏览：182
Based on this testability model, the paper discusses testability verification and measurement using a pentagram model. A simple application example is included for component testability measurement.
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach
浏览：190
Thus, the POLIS system which is a co-design environment for embedded systems is based on a formal model of computation. POLIS was initiated in 1988 as a research project at the University of ...
Formal verification of Real-Time Wireless Sensor Networks protocols Scaling Up
浏览：147
Large scale ad hoc networks such as ... We use the UPPAAL model checker and Sensor Network Calculus and apply our method to a WSN real-time protocol in order to evaluate the performance of the method.
Facial Expression Recognition Based on DESTN
浏览：67
features” based on facial landmarks (geometry information) from consecutive frames. Meanwhile, in order to complement the still appearance information, a multi-signal convolutional neural network ...
Palmprint verification based on principal lines
浏览：16
In this paper, we propose a novel palmprint verification approach based on principal lines. In feature extraction stage, the modified finite Radon transform is proposed, which can extract ...
A UML-based Architectural Model for Timing and Performance Analyses of GSM Radio Subsystem
浏览：104
Our approach in both timing and performance analysis was introduced in former works, and was based on applying the proposed techniques on UML-based simulation models of systems’ dynamic ...
Performance Verification of a Complex Bus Arbiter
浏览：164
The goal of performance verification is to verify that the architectural intent of the arbiter is fulfilled. The arbiter must provide specified bandwidth and latency to each bus master. To measure ..
Software Evolution with UML and XML(1)
浏览：85
3星 · 编辑精心推荐
Towards the Integration of a Formal Object-Oriented Method and Relational Unified Process Chapter V - On the Co-Evolution of SSADM and the UML Chapter VI - Software Evolution with XVCL ...
Software Evolution with UML and XML(2)
浏览：177
5星 · 资源好评率100%
Towards the Integration of a Formal Object-Oriented Method and Relational Unified Process Chapter V - On the Co-Evolution of SSADM and the UML Chapter VI - Software Evolution with XVCL ...
Creating Assertion-Based IP
浏览：149
Assertion-based IP. The design of systems in the 21st century is necessarily one of decomposition of product requirements into functional subsystems. Often these subsystems are implemented with a mix
Software+Verification+and+Validation+Document
浏览：147
Software+Verification+and+Validation+Document
行人惯性导航零速检测算法
浏览：144
行人惯性导航零速检测算法
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览：159
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览：96
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
BA无标度网络中的SIR模型
浏览：198
BA无标度网络中的SIR模型
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览：139
使用3DCNN和卷积LSTM进行手势识别学习时空特征
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览：167
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束，一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中，贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下，车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览：155
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览：85
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38744902
粉丝: 9
资源:
933
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
IMG_0437.jpg
top888.json
读取并解码二维码图片源码
基于Vue的电影资讯和影院详情设计源码 - maizuo
4T第十五届国（sheng）赛模拟题第一套
update.apk
4T第十五届国（sheng）赛模拟题第三套
bp神经网络pid的控制仿真
基于Java和JavaScript的数字出版及期刊管理系统设计源码 - dnpjglxt
二轮平衡车的零输入运动仿真
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
