//--> //--> //-->
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
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:"Cha, Sungdeok"
Narrow search
Narrow search
Year of publication
From:
To:
Type of publication
All
Article
4
Language
All
Undetermined
4
Author
All
Cha, Sungdeok
4
Kim, Taeho
2
Yoo, Junbeom
2
Jee, Eunkyung
1
Kim, Chang Hwoi
1
Seong, Poong Hyun
1
Son, Hanseong
1
Song, Duck Yong
1
Stringer-Calvert, David
1
more ...
less ...
Published in...
All
Reliability engineering & system safety
4
Source
All
OLC EcoSci
4
Showing
1
-
4
of
4
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
Synthesis of FBD-based PLC design from NuSCR formal specification
Yoo, Junbeom
;
Cha, Sungdeok
;
Kim, Chang Hwoi
;
Song, …
- In:
Reliability engineering & system safety
87
(
2005
)
2
,
pp. 287-294
Persistent link: https://www.econbiz.de/10006809970
Saved in:
3
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:
4
Systematic evaluation of fault trees using real-time model checker UPPAAL
Cha, Sungdeok
;
Son, Hanseong
;
Yoo, Junbeom
;
Jee, Eunkyung
; …
- In:
Reliability engineering & system safety
82
(
2003
)
1
,
pp. 11-20
Persistent link: https://www.econbiz.de/10006821303
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->