Finite-StateConcurrentSystemVerification

Name: Finite-StateConcurrentSystemVerification
Rating: 4.5 (29 reviews)
Author: acorss

上传者：acorss 2019-05-13 15:11:26上传 PDF文件 1.11MB 热度 29次

AutomaticVerificationofFinite-StateConcurrentSystemUsingTemporalLogicSpecifications

下载地址

用户评论

更多下载

下载地址

立即下载

用户评论

Finite_StateConcurrentSystemVerification

AutomaticVerificationofFinite-StateConcurrentSyste...

大小：0B | 2019-05-13 15:11:26
Finite Fields

大小：0B | 2019-03-31 21:28:07
A hybrid algorithm for finite equilibrium problems and finite variational inequa

Banach 空间中关于有限个均衡问题,有限个变分不等式问题和两族伪-$phi$-渐进非扩张映射的不...

大小：190KB | 2020-07-17 08:14:39
finite element procedure

详细介绍了有限元的基本原理及计算过程，非常实用的资源

大小：0B | 2020-05-15 01:16:27
Finite Time Controllers

Continuousfinitetimedifferentialequationsareintrod...

大小：0B | 2019-07-22 23:16:16
finite element method

finiteelementmethod

大小：0B | 2019-07-05 08:38:42
Finite-DimensionalVariationalInequalitiesandComplementarityVolumeII)

大小：0B | 2019-01-10 08:58:32
finite-dimensionalvariationalinequalitiesandcomplementaryprolem

大小：0B | 2019-01-10 08:58:33
The finite element method

TheFiniteElementMethod_Theory,Implementation,andAp...

大小：0B | 2019-09-25 20:38:54
Finite Model Theory

FiniteModelTheoryHeinz-DieterEbbinghaus

大小：0B | 2019-06-04 03:42:19
Finite Element Concepts

FiniteElementConcepts，高清带书签，有限元概念，适合初学者

大小：0B | 2019-06-04 13:10:25
Finite Mixture Models

FiniteMixtureModels,GEOFFREYMCLACHLAN,DAVIDPEEL.本书...

大小：0B | 2019-05-28 05:11:28
Finite-elementMethodsforElectromagnetics

大小：0B | 2019-01-23 07:18:09
Finite Element Analysis

Finite Element Analysis, Theory and application wi...

大小：0B | 2018-12-19 06:15:00
finite_automata

有限自动机课件，讲解详细，例题简单易懂.。

大小：0B | 2018-12-20 04:39:02
Finite Volume Methods

大小：0B | 2018-12-07 10:12:04