Login / Signup

Verification of the Sentinel-4 focal plane subsystem.

Christian WilligesMathias UhligStefan HilbertHannes RossmannKevin BuchwinklerSteffen BabbenIlse SebastianRüdiger HohnRalf Reulke
Published in: Earth Observing Systems (2017)
Keyphrases
  • focal plane
  • infrared
  • high speed
  • imaging systems
  • analog vlsi
  • model checking
  • signature verification
  • object recognition
  • dynamic programming
  • power consumption
  • low power
  • light field
  • formal verification