System of Systems Approach to Formal Modeling of CPS for Simulation‐Based Analysis (English)
Free access
- New search for: Lee, Kyou Ho
- New search for: Hong, Jeong Hee
- New search for: Kim, Tag Gon
- New search for: Lee, Kyou Ho
- New search for: Hong, Jeong Hee
- New search for: Kim, Tag Gon
In:
ETRI Journal
;
37
, 1
;
175-185
;
2015
- Article (Journal) / Electronic Resource
-
Title:System of Systems Approach to Formal Modeling of CPS for Simulation‐Based Analysis
-
Contributors:
-
Published in:ETRI Journal ; 37, 1 ; 175-185
-
Publisher:
- New search for: Electronics and Telecommunications Research Institute (ETRI)
-
Publication date:2015-02-01
-
Size:11 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 37, Issue 1
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Blind Hopping Phase Estimator in Frequency‐Hopped FM and BFSK SystemsKim, Myungsup / Seong, Jinsuk / Lee, Seong‐Ro et al. | 2015
- 11
-
Optimal Power Allocation for Channel Estimation of OFDM Uplinks in Time‐Varying ChannelsYao, Rugui / Liu, Yinsheng / Li, Geng / Xu, Juan et al. | 2015
- 21
-
Compact Triple‐Band Monopole Antenna for WLAN/WiMAX‐Band USB Dongle ApplicationsShi, Ya Wei / Xiong, Ling / Chen, Meng Gang et al. | 2015
- 26
-
Bandwidth Enhancement of Circularly Polarized Dielectric Resonator AntennaSun, Ru‐Ying et al. | 2015
- 32
-
Low Complexity Discrete Hartley Transform Precoded OFDM System over Frequency‐Selective Fading ChannelOuyang, Xing / Jin, Jiyu / Jin, Guiyue / Li, Peng et al. | 2015
- 43
-
Joint Compensation of Transmitter and Receiver IQ Imbalance in OFDM Systems Based on Selective Coefficient UpdatingRasi, Jafar / Tazehkand, Behzad Mozaffari / Niya, Javad Musevi et al. | 2015
- 54
-
LDPC Decoding by Failed Check Nodes for Serial Concatenated CodeYu, Seog Kun / Joo, Eon Kyeong et al. | 2015
- 61
-
Novel Filtering Power Divider with External Isolation ResistorsLu, Yun‐Long / Wang, Shun / Dai, Gao‐Le / Li, Kai et al. | 2015
- 66
-
Bandwidth‐Efficient Selective Retransmission for MIMO‐OFDM SystemsZia, Muhammad / Kiani, Tamoor / Mahmood, Hasan / Shah, Tariq / Saqib, Nazar A. et al. | 2015
- 77
-
Modeling and Stimulating Node Cooperation in Wireless Ad Hoc NetworksArghavani, Abbas / Arghavani, Mahdi / Sargazi, Abolfazl / Ahmadi, Mahmood et al. | 2015
- 88
-
Development of Scent Display and Its Authoring ToolKim, Jeong Do / Choi, Ji Hoon / Lim, Seung Ju / Park, Sung Dae / Kim, Jung Ju / Ahn, Chung Hyun et al. | 2015
- 97
-
Design of SCR‐Based ESD Protection Circuit for 3.3 V I/O and 20 V Power ClampJung, Jin‐Woo / Koo, Yong‐Seo et al. | 2015
- 107
-
Flexible Prime‐Field Genus 2 Hyperelliptic Curve Cryptography Processor with Low Power Consumption and Uniform Power DrawAhmadi, Hamid‐Reza / Afzali‐Kusha, Ali / Pedram, Massoud / Mosaffa, Mahdi et al. | 2015
- 118
-
New Thermal‐Aware Voltage Island Formation for 3D Many‐Core ProcessorsHong, Hyejeong / Lim, Jaeil / Lim, Hyunyul / Kang, Sungho et al. | 2015
- 128
-
Basic RF Characteristics of Fishbone‐Type Transmission Line Employing Comb‐Type Ground Plane (FTLCGP) on PES Substrate for Use in Flexible Passive CircuitsYun, Young / Jeong, Jang‐Hyeon / Kim, Hong Seung / Jang, Nakwon et al. | 2015
- 138
-
Non‐constraining Online Signature Reconstruction System for Persons with Handwriting ProblemsAbbadi, Belkacem / Mostefai, Messaoud / Oulefki, Adel et al. | 2015
- 147
-
CAWR: Buffer Replacement with Channel‐Aware Write Reordering Mechanism for SSDsWang, Ronghui / Chen, Zhiguang / Xiao, Nong / Zhang, Minxuan / Dong, Weihua et al. | 2015
- 157
-
A Novel GPU Power Model for Accurate Smartphone Power BreakdownKim, Young Geun / Kim, Minyong / Kim, Jae Min / Sung, Minyoung / Chung, Sung Woo et al. | 2015
- 165
-
Novel Technique in Linear CryptanalysisSun, Wen‐Long / Guan, Jie et al. | 2015
- 175
-
System of Systems Approach to Formal Modeling of CPS for Simulation‐Based AnalysisLee, Kyou Ho / Hong, Jeong Hee / Kim, Tag Gon et al. | 2015
- 186
-
Novel Trusted Hierarchy Construction for RFID Sensor–Based MANETs Using ECCsKumar, Adarsh / Gopal, Krishna / Aggarwal, Alok et al. | 2015
- 197
-
Bargaining‐Based Smart Grid Pricing Model for Demand Side Management SchedulingPark, Youngjae / Kim, Sungwook et al. | 2015