//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~person:"Stringer-Calvert, David"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Search: person:"Kim, Taeho"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Type of publication
All
Article
1
Language
All
Undetermined
1
Author
All
Stringer-Calvert, David
Kim, Taeho
33
Ko, Yong Jae
3
Lee, Hyejun
3
Lee, Juhyun
3
Weaver, Robert D.
3
Cha, Sungdeok
2
Jin, Hyun Joung
2
Kim, Tae-ho
2
Lee, Dong Il
2
Bang, Hyejin
1
Chotiputsilp, Brighton
1
Dong-won, Cho
1
Hur, Youngjin
1
Jordan, Andrew
1
KANG, JANGHA
1
KIM, JAE-GON
1
KIM, TAEHO
1
Kang, Kyung-Sik
1
Kim, Eungab
1
Kim, Jae-Gon
1
Kim, Sung-Hwan
1
Kim, Tae-Ho
1
Kim, Yu Kyoum
1
Lee, Dong-il
1
Miles, James A.
1
Park, Taeho
1
Rhee, Il-King
1
Rhee, Yong Chae
1
SONG, SEUNG-MIN
1
Song, Seung-Min
1
Yang, Tae-Ho
1
Yoo, Seongjin
1
more ...
less ...
Published in...
All
Reliability engineering & system safety
1
Source
All
OLC EcoSci
1
Showing
1
-
1
of
1
Sort
relevance
articles prioritized
date (newest first)
date (oldest first)
1
Formal verification of functional properties of a SCR-style software requirements specification using PVS
Kim, Taeho
;
Stringer-Calvert, David
;
Cha, Sungdeok
- In:
Reliability engineering & system safety
87
(
2005
)
3
,
pp. 351-364
Persistent link: https://www.econbiz.de/10006809963
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->