Formal specification of railway control systems

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

下载地址

用户评论

更多下载

下载地址

立即下载

收藏腾讯微博

用户评论

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
Railway Safety Reliability and Security Technologies and Systems.

Railway Safety, Reliability, and Security Technolo...

大小：0B | 2018-12-08 17:22:13
A Simple StateBased Prognostic Model for Railway Turnout Systems

ASimpleState-BasedPrognosticModelforRailwayTurnout...

大小：0B | 2019-09-10 10:15:44