|
"kang eunsuk"的相关文件
显示项目 1-8 / 8 (共1页)
1
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-05-04T07:53:51Z |
Quotient for Assume-Guarantee Contracts.
|
CHUNG-WEI LIN; Lin, Chung-Wei; Kang, Eunsuk; Sangiovanni-Vincentelli, Alberto L.; Romeo, ??igo ?ncer; Romeo, ??igo ?ncer;Sangiovanni-Vincentelli, Alberto L.;Lin, Chung-Wei;Kang, Eunsuk |
| 臺大學術典藏 |
2020-05-04T07:53:51Z |
Quotient for Assume-Guarantee Contracts.
|
CHUNG-WEI LIN; Lin, Chung-Wei; Kang, Eunsuk; Sangiovanni-Vincentelli, Alberto L.; Romeo, ??igo ?ncer; Romeo, ??igo ?ncer;Sangiovanni-Vincentelli, Alberto L.;Lin, Chung-Wei;Kang, Eunsuk |
| 臺大學術典藏 |
2020-05-04T07:53:51Z |
Runtime monitoring for safety of intelligent vehicles.
|
CHUNG-WEI LIN; Shiraishi, Shinichi; Watanabe, Kosuke; Kang, Eunsuk; Lin, Chung-Wei |
| 臺大學術典藏 |
2020-05-04T07:53:50Z |
A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility.
|
Kang, Eunsuk; Shiraishi, Shinichi; Blough, Douglas M.; CHUNG-WEI LIN; Lin, Chung-Wei; Liu, Huiye;Lin, Chung-Wei;Kang, Eunsuk;Shiraishi, Shinichi;Blough, Douglas M.; Liu, Huiye |
| 臺大學術典藏 |
2020-05-04T07:53:50Z |
A Byzantine-Tolerant Distributed Consensus Algorithm for Connected Vehicles Using Proof-of-Eligibility.
|
Kang, Eunsuk; Shiraishi, Shinichi; Blough, Douglas M.; CHUNG-WEI LIN; Lin, Chung-Wei; Liu, Huiye;Lin, Chung-Wei;Kang, Eunsuk;Shiraishi, Shinichi;Blough, Douglas M.; Liu, Huiye |
| 臺大學術典藏 |
2018 |
Network and system level security in connected vehicle applications.
|
Liang, Hengyi; Shiraishi, Shinichi; Nita-Rotaru, Cristina; Zhu, Qi; CHUNG-WEI LIN; Kang, Eunsuk; Jagielski, Matthew; Zheng, Bowen; Lin, Chung-Wei |
| 臺大學術典藏 |
2018 |
Property-Driven Runtime Resolution of Feature Interactions.
|
Watanabe, Kosuke; Kang, Eunsuk; Lin, Chung-Wei; Jiang, Zhihao; Shiraishi, Shinichi; CHUNG-WEI LIN; Raghavan, Santhana Gopalan |
| 臺大學術典藏 |
2018 |
Safe and Secure Automotive Over-the-Air Updates.
|
CHUNG-WEI LIN; Wassyng, Alan; Lawford, Mark; Shiraishi, Shinichi; Kim, BaekGyu; Chowdhury, Thomas; Lesiuta, Eric; Rikley, Kerianne; Lin, Chung-Wei; Kang, Eunsuk |
显示项目 1-8 / 8 (共1页)
1
每页显示[10|25|50]项目
|
