Login / Signup

VIIRS initial performance verification. Subassembly, early integration and ambient phase I testing of EDU.

C. Tanya ScalioneFrank De LucciaJohn CymermanEric JohnsonJames K. McCarthyDebra Olejniczak
Published in: IGARSS (2005)
Keyphrases
  • test generation
  • symbolic execution
  • formal verification
  • model checking
  • data integration
  • ambient intelligence
  • artificial intelligence
  • business processes
  • test set
  • data fusion
  • fingerprint verification
  • phase ii