Login / Signup

Verification of a Spectrometer Breadboard for Characterization of a Future Spaceborne Sensor.

Horst SchwarzerAndreas EckardtRalf Reulke
Published in: PSIVT Workshops (2015)
Keyphrases
  • long term
  • sensor networks
  • sensor data
  • infrared
  • real time
  • fourier transform
  • model checking
  • multi sensor
  • real world
  • information systems
  • case study
  • image data
  • formal methods
  • formal verification
  • predicting future