Login / Signup

TerraSAR-X System Performance Characterization and Verification.

Josef MittermayerMarwan YounisRobert MetzigSteffen WollstadtJosé Márquez MartínezAdriano Meta
Published in: IEEE Trans. Geosci. Remote. Sens. (2010)
Keyphrases
  • model checking
  • asynchronous circuits
  • image processing
  • formal verification
  • signature verification
  • person identification
  • functional verification
  • axiomatic characterization