首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Functional verification made manageable
被引:0
|
作者
:
机构
:
[1]
Fitzpatrick, Tom
[2]
Ho, Richard
来源
:
Fitzpatrick, T. (tom_fitzpatrick@mentor.com)
|
2005年
/ CMP Media LLC卷
关键词
:
Computer software selection and evaluation;
D O I
:
暂无
中图分类号
:
学科分类号
:
摘要
:
引用
收藏
相关论文
共 50 条
[1]
VIDEO DISTRIBUTION - THE MAZE MADE MANAGEABLE
SALCE, J
论文数:
0
引用数:
0
h-index:
0
SALCE, J
LIBRARY JOURNAL,
1990,
115
(12)
: 42
-
44
[2]
Sludge made manageable with wedgewater filter beds
1600,
(121):
[3]
Planning, teamwork made Harvey manageable for Houston hospitals
Traynor, Kate
论文数:
0
引用数:
0
h-index:
0
Traynor, Kate
AMERICAN JOURNAL OF HEALTH-SYSTEM PHARMACY,
2017,
74
(21)
: 1752
-
1753
[4]
COUNTERACTING SPRING EASES TORQUE - MOTORCYCLE MUSCLING MADE MANAGEABLE
ULLMANN, JR
论文数:
0
引用数:
0
h-index:
0
ULLMANN, JR
DESIGN NEWS,
1973,
28
(01)
: 41
-
41
[5]
CRYPTO MANAGEMENT MADE MANAGEABLE - DEMANDS ON CRYPTO EQUIPMENT DESIGN.
Fak, Viiveke
论文数:
0
引用数:
0
h-index:
0
机构:
Linkoping Univ, Linkoping, Swed, Linkoping Univ, Linkoping, Swed
Linkoping Univ, Linkoping, Swed, Linkoping Univ, Linkoping, Swed
Fak, Viiveke
Computers and Security,
1987,
6
(01):
: 36
-
40
[6]
Formal verification made easy
Schlipf, T
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, 71032 Boeblingen
Schlipf, T
Buechner, T
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, 71032 Boeblingen
Buechner, T
Fritz, R
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, 71032 Boeblingen
Fritz, R
Helms, M
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, 71032 Boeblingen
Helms, M
Koehl, J
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, 71032 Boeblingen
Koehl, J
IBM JOURNAL OF RESEARCH AND DEVELOPMENT,
1997,
41
(4-5)
: 567
-
576
[7]
Formal verification made easy
Schlipf, T.
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany
Schlipf, T.
Buechner, T.
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany
Buechner, T.
Fritz, R.
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany
Fritz, R.
Helms, M.
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany
Helms, M.
Koehl, J.
论文数:
0
引用数:
0
h-index:
0
机构:
IBM Entwicklung GmbH, Schoenaicherstrasse 220, 71032 Boeblingen, Germany
Koehl, J.
1997,
IBM, Armonk, NY, United States
(41)
: 4
-
5
[8]
PROTOCOL VERIFICATION MADE SIMPLE - A TUTORIAL
GOUDA, MG
论文数:
0
引用数:
0
h-index:
0
机构:
Department of Computer Sciences, University of Texas at Austin, Austin
GOUDA, MG
COMPUTER NETWORKS AND ISDN SYSTEMS,
1993,
25
(09):
: 969
-
980
[9]
Wrestling functional verification
Goering, Richard
论文数:
0
引用数:
0
h-index:
0
Goering, Richard
Electronic Engineering Times,
2005,
(1359)
: 45
-
48
[10]
MANAGEABLE SHELTERBELTS
BAER, N
论文数:
0
引用数:
0
h-index:
0
BAER, N
SOUTH DAKOTA FARM & HOME RESEARCH,
1981,
32
(01):
: 12
-
13
←
1
2
3
4
5
→