Formal specification of railway control systems

Name: Formal specification of railway control systems
Rating: 4.5 (46 reviews)
Author: qq_45167

上传者：qq_45167 2021-02-15 19:54:30上传 PDF文件 355.13KB 热度 46次

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Formal specification of railway control systems

Formal specification of railway control systems

大小：355KB | 2021-02-15 19:54:30
Specification of Railway Transportation Cyber Physical Systems Using Formal Appr

Specification of Railway Transportation Cyber Phys...

大小：553KB | 2021-02-15 19:54:32
Specification of railway cyber physical systems using AADL

Specification of railway cyber physical systems us...

大小：2.07MB | 2021-02-15 19:54:36
REAL TIME SYSTEMS Formal Specification and Automatic Verification

Computers are used more and more to provide high-q...

大小：1.73MB | 2021-04-24 23:45:46
AspectOriented Formal Specification for RealTime

Aspect-OrientedFormalSpecificationforReal-Time

大小：0B | 2019-07-29 11:39:47
Foundations of Algebraic Specification and Formal Software Developme

FoundationsofAlgebraicSpecificationandFormalSoftwa...

大小：0B | 2020-01-06 07:10:40
Control Systems

Thisbookintroducesstudentstothetheoryandpracticeof...

大小：0B | 2019-06-21 19:48:13
A Formal Model of a MultiRobot Control and Communication Task

WeintroducetheComputationandControlLanguage(CCL),a...

大小：0B | 2019-07-29 11:39:57
A Simple StateBased Prognostic Model for Railway Turnout Systems

ASimpleState-BasedPrognosticModelforRailwayTurnout...

大小：0B | 2019-09-10 10:15:44
Modeling Railway Cyber Physical Systems Based on AADL

Modeling Railway Cyber Physical Systems Based on A...

大小：779KB | 2021-02-19 20:52:35
Railway Safety, Reliability, and Security Technologies and Systems.

大小：0B | 2018-12-08 17:22:13
EN50126Railway applications The specification and demonstration of Reliabilit

EN50126Railwayapplications-Thespecificationanddemo...

大小：0B | 2020-05-14 01:54:49
singular control systems

广义系统的第一本著作，是研究广义系统必读的英文书籍。

大小：0B | 2019-09-27 22:48:40
Switching in systems and control

Switchinginsystemsandcontrol

大小：0B | 2019-09-07 15:24:14
Observers in Control Systems

详细介绍了状态观测器及其在控制系统中的应用。

大小：0B | 2020-05-29 11:55:49
Automotive Control Systems

Automotivecontrolhasbecomeadrivingfactorinautomoti...

大小：0B | 2019-07-19 09:19:22