Login / Signup
Yu-Hsuan Hu
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Computer Aided
Design Decisions
Evolutionary Algorithm
Website
Top Venues
IEEE Internet Things J.
</>
Publications
</>
Blair Archibald
,
Min-Zheng Shieh
,
Yu-Hsuan Hu
,
Michele Sevegnani
,
Yi-Bing Lin
BigraphTalk: Verified Design of IoT Applications.
IEEE Internet Things J.
7 (4) (2020)