ISCCP cloud based verification of CMIP5 climate simulations.

Lindsey Hayden Zaitao Pan

Published in: IGARSS (2016)

Keyphrases

long term
cloud computing
model checking
face verification
mathematical analysis
data structure
climate change
formal verification
real time
global climate change
climate data
concurrent systems
verification method
simulation models
artificial intelligence
neural network
simulation model
control system
database