Sign in
Circuit Design and Verification Method of Integrated Sensor-Front-End Elements for Spaceborne Fluxgate Magnetometers.
Maximilian Scherzer
Mario Auer
Aris Valavanoglou
Stefan Leitner
Werner Magnes
Published in:
PRIME (2019)
Keyphrases
</>
circuit design
verification method
model checking
temporal logic
design automation
sensor data
real time
sensor networks
digital circuits
back end
information retrieval
databases
wireless sensor networks
multi sensor