• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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