Login / Signup

Setup and verification of a multi-GNSS over-the-air wave field synthesis testbed.

Alexander RügamerChristopher SchirmerMario LorenzSimon TaschkeMarcus GrossmannMarkus H. LandmannWolfgang Felber
Published in: PLANS (2016)
Keyphrases
  • formal verification
  • website
  • bayesian networks
  • information systems
  • image processing
  • decision trees
  • case study
  • data analysis
  • model checking
  • formal analysis
  • latest developments
  • wave propagation