没有合适的资源？快使用搜索试试~
我知道了~
文库首页
开发技术
其它
Formal specification of railway control systems
Formal specification of railway control systems
研究论文
0 下载量
30 浏览量
2021-02-09
12:33:44
上传
评论
收藏
355KB
PDF
举报
温馨提示
立即下载
Formal specification of railway control systems
资源推荐
资源评论
Formal Specification and Documentation using Z: A Case Study Approach
浏览：70
书名：Formal Specification and Documentation using Z: A Case Study Approach 作者：Jonathan Bowen 介绍：形式化规格说明Z语言。建立在数理逻辑基础上的，可验证的一种软件工程方法。
Formal Analysis of Concurrent Java Systems
浏览：35
Formal Analysis of Concurrent Java Systems
Specification of Railway Transportation Cyber Physical Systems Using Formal Approach
浏览：59
Specification of Railway Transportation Cyber Physical Systems Using Formal Approach
Formal Specification and Documentation using Z - A Case Study Approach.rar
浏览：84
4星 · 用户满意度95%
Formal Specification and Documentation using Z - A Case Study Approach.rar
Formal Specification and Documentation using Z:A Case Study Approach
浏览：104
有关用Z方法进行形式化规范介绍，很有用的电子书籍。
Fuzzy Control Systems
浏览：14
5星 · 资源好评率100%
6 Fuzzification of Formal Models of Adaptive Autonomous Control Systems 6.1 The Effects of Imprecision and Uncertainty 6.2 Fuzzification of Power Sets and Relational Systems 7 Fuzzy ...
Formal specification, monitoring, and verification of vehicle
浏览：38
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
REAL-TIME SYSTEMS Formal Specification and Automatic Verification
浏览：71
5星 · 资源好评率100%
Computers are used more and more to provide high-quality and ...and braking systems, signalling systems for high-speed trains, or robots and automatic transport vehicles in industrial production lines
Foundations of Algebraic Specification and Formal Software Developme
浏览：139
Foundations of Algebraic Specification and Formal Software Developme
Aspect-Oriented Formal Specification for Real-Time
浏览：120
Aspect-Oriented Formal Specification for Real-Time
The formal semantics of programing language
浏览：90
In giving a formal semantics to a programming language we are concerned with building a mathematical model. Its purpose is to serve as a basis for understanding and reasoning about how programs behave
Formal Correctness of Security Protocols
浏览：82
4星 · 用户满意度95%
how these verifiers work: some of them are based on formal models similar to those described in this book. Besides, off-the-shelf tools inherently have a limited scope: they are designed to solve ...
Formal verification of Real-Time Wireless Sensor Networks protocols Scaling Up
浏览：123
In the literature, mainly two approaches are used for the formal verification of WSNs real-time protocols : Model Checking which consists in an exhaustive exploration of the behaviors of the system .
Formal Development of a Network-Centric Rtos
浏览：126
One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in ..
Formal Techniques for Distributed Systems
浏览：136
Formal Techniques for Distributed Systems FMOODS /FORTE 2013
Formal correctness of security protocols
浏览：122
This is a book about how to use formal methods to verify security protocols.
Applied Control Theory for Embedded Systems
浏览：133
Applied Control Theory is, first and foremost, not a substitute for years of formal education about control systems. With that out of the way, it's a very solid primer/reference for those of us who ..
行人惯性导航零速检测算法
浏览：98
行人惯性导航零速检测算法
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
浏览：30
混合动力汽车基于规则的控制和ECMS与优化等效因子的实时能源管理策略
基于CORDIC的反正弦和反余弦计算的FPGA实现
浏览：142
5星 · 资源好评率100%
基于CORDIC的反正弦和反余弦计算的FPGA实现
使用3DCNN和卷积LSTM进行手势识别学习时空特征
浏览：114
使用3DCNN和卷积LSTM进行手势识别学习时空特征
BA无标度网络中的SIR模型
浏览：155
BA无标度网络中的SIR模型
基于三次贝塞尔曲线的类汽车曲率连续路径平滑
浏览：171
本文重点研究在大型科学设施环境中工作的类似汽车的车辆的可行路径的生成。 考虑曲率连续性和最大曲率约束，一种新颖的路径平滑算法是根据三次贝塞尔曲线提出的。 在算法中，贝塞尔转弯和贝塞尔路径分别为发达。 Bezier 转弯首先设计用于连接两个任意配置。 然后可以通过以下方式获得贝塞尔路径使用贝塞尔曲线来拟合避免碰撞规划器提供的一系列目标点。 在算法的指导下，车辆可以以预定的方向到达目标点。 模拟实验进
基于机器学习的设备剩余寿命预测方法综述
浏览：59
基于机器学习的设备剩余寿命预测方法综述
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
浏览：71
基于无差拍预测控制和扰动观测器的永磁同步电机电流控制
基于FPGA的奇异值和特征值分解的快速实现。
浏览：34
基于FPGA的奇异值和特征值分解的快速实现。
基于BP神经网络的人口预测
浏览：156
基于BP神经网络的人口预测
两轮平衡车的建模与控制研究
浏览：183
两轮平衡车的建模与控制研究
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
weixin_38502693
粉丝: 8
资源:
908
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
单片机综合实验电路板设计.zip
信号与系统资源.zip
基于Matlab的CORDIC算法实现
400万位自然数E转Uint32
基于python实现的人体动作捕捉与三维重建 SMPL 和 SMPLify 模型
C#编程基础教程PPT
Uber公司Go 语言编码规范
全加器74LS153.ms14
数字电路课设-交通信号灯控制系统源码（高分课设）
基于 C++实现摄像头的标定，双目摄像头的立体矫正、获取深度图和点云坐标，估计三维重建后的体积
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
