Bernd Becker
- Accelerating Parametric Probabilistic Verification
2013/12/13 by Nils Jansen, Florian Corzilius, Jansen, Nils +11 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #cs.SE
- Convection-Permitting Regional Climate Change Simulations for Understanding Future Climate and Informing Decision-Making in Africa
2021/02/19 by Catherine A. Senior, C. A. Senior, John H. Marsham +42 · 2 citations
Environmental Science · Earth and Planetary Sciences · #Climate variability and models #Meteorological Phenomena and Simulations #Tropical and Extratropical Cyclones Research