Login / Signup

Verification of Operational Applications of New Modes of Terrasar-X PAZ Constellation.

Parivash LumsdonWolfgang KoppeCatherine HartleyJürgen JanothHanjo KahabkaFernando CerezoVictor del Estal FernandezJuan Ignacio Cicuendez Pérez
Published in: IGARSS (2021)
Keyphrases
  • model checking
  • formal verification
  • decision making
  • real world
  • concurrent systems
  • image processing
  • real time
  • databases
  • database systems
  • least squares
  • spatial relations
  • signature verification