AspectOriented Formal Specification for RealTime

Name: AspectOriented Formal Specification for RealTime
Rating: 4.5 (71 reviews)
Author: tianawcuole

上传者：tianawcuole 2019-07-29 11:39:47上传 PDF文档文件 9.4MB 热度 71次

Aspect-OrientedFormalSpecificationforReal-Time

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

AspectOriented Formal Specification for RealTime

Aspect-OrientedFormalSpecificationforReal-Time

大小：0B | 2019-07-29 11:39:47
Formal specification of railway control systems

Formal specification of railway control systems

大小：355KB | 2021-02-15 19:54:30
Foundations of Algebraic Specification and Formal Software Developme

FoundationsofAlgebraicSpecificationandFormalSoftwa...

大小：0B | 2020-01-06 07:10:40
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
Formal verification of RealTime Wireless Sensor Networks protocols Scaling Up

LargescaleadhocnetworkssuchasWirelessSensorNetwork...

大小：0B | 2020-01-20 14:43:14
Formal Specification and Documentation using Z A Case Study Approach

书名：FormalSpecificationandDocumentationusingZ:ACase...

大小：0B | 2019-09-05 22:55:50
论文研究The Formal Model of Realtime Service Components Composition Based on Duratio

基于时段演算的实时服务构件组装形式化模型，金仙力，马华东，本文提出一种基于时段演算(一种区间时序逻辑...

大小：0B | 2019-12-31 23:31:22
AspectOriented Programming with AspectJ

Aspect-OrientedProgrammingwithAspectJ

大小：0B | 2020-05-23 10:54:41
Specification of Railway Transportation Cyber Physical Systems Using Formal Appr

Specification of Railway Transportation Cyber Phys...

大小：553KB | 2021-02-15 19:54:32
OMG RAS reusable asset specification formal_05_11_02

OMGRASreusableassetspecificationformal-05-11-02，可在...

大小：0B | 2019-06-22 17:13:53
Eclipse AspectJ AspectOriented Programming

Aspect-orientedsoftwaredesign(ASOD),whichfollowsth...

大小：0B | 2020-06-14 18:25:42
Formal Specification and Documentation using Z_A Case Study Approach.rar

FormalSpecificationandDocumentationusingZ-ACaseStu...

大小：0B | 2019-07-09 09:13:25
HSD070IDW1_A Formal Specification v111.3.pdf

翰彩7寸屏规格书HSD070IDW1-A

大小：0B | 2018-12-25 16:16:49
AspectOriented Software Development with Use Cases

IvarJacobson（UML创始人）写的书，值得一看。

大小：0B | 2020-02-19 05:00:22
Formal Language

solutionfor2ndedition

大小：0B | 2019-07-29 11:39:46
Formal Method Formal Verification for Digital Circuit Design

FormalMethod\FormalVerificationforDigitalCircuitDe...

大小：0B | 2019-06-04 03:41:22