|
|
Taiwan Academic Institutional Repository >
Browse by Author
|
"kang eunsuk"
Showing items 1-8 of 8 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
Showing items 1-8 of 8 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
