//--> //--> //-->
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:"Cha, Sungdeok"
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
2
Language
All
Undetermined
2
Author
All
Cha, Sungdeok
Kim, Taeho
33
Ko, Yong Jae
3
Lee, Hyejun
3
Lee, Juhyun
3
Weaver, Robert D.
3
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
Stringer-Calvert, David
1
Yang, Tae-Ho
1
Yoo, Seongjin
1
more ...
less ...
Published in...
All
Reliability engineering & system safety
2
Source
All
OLC EcoSci
2
Showing
1
-
2
of
2
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:
2
Comment on: development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application
Kim, Taeho
;
Cha, Sungdeok
- In:
Reliability engineering & system safety
83
(
2004
)
1
,
pp. 121-122
Persistent link: https://www.econbiz.de/10006819090
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->