Login / Signup
Live demonstration: In vivo verification of a 100 Mbps transcutaneous optical telemetric link.
Tianyi Liu
Ulrich Bihr
Joachim Becker
Jens Anders
Maurits Ortmanns
Published in:
BioCAS (2014)
Keyphrases
</>
model checking
image analysis
real time
formal verification
asynchronous circuits
data sets
resource allocation
web graph
formal methods
imaging modalities
signature verification
optical coherence tomography
optical imaging
false acceptance rate
robot programming