Login / Signup
Ching-Chieh Chan
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Transition Systems
Formal Specification
Linear Temporal Logic
Asynchronous Circuits
Top Venues
IEEE Access
</>
Publications
</>
Ching-Chieh Chan
,
Cheng-Zen Yang
,
Chin-Feng Fan
Security Verification for Cyber-Physical Systems Using Model Checking.
IEEE Access
9 (2021)