Login / Signup
An Optical Implant for Biotelemetry: Design, In Vivo Verification, and Challenges.
Illsoo Sohn
Muhammad Fithratur Rahman
Yong Hun Jang
Sang Hyun Lee
Published in:
IEEE Commun. Mag. (2022)
Keyphrases
</>
design principles
design process
case study
real time
formal verification
data sets
model checking
real world
neural network
knowledge based systems
user interface
computer aided
lessons learned
design patterns
engineering design
formal methods
functional verification