Experimental Astronomy · 2012 · 120 citations · 85 references
ComputingComputer EngineeringComputer ScienceFormal MethodsProgramming LanguagesSafety EngineeringModel CheckingSoftware ValidationSpecification LanguagesVerificationComplianceFormal Methods For SafetyFormal Safety VerificationFormal VerificationRefinementSafety Property VerificationSafety VerificationVerification Conditions
85
<i>Herschel</i>Space Observatory
G. Pilbratt, J. R. Riedinger, Thomas Passvogel et al. · Astronomy and Astrophysics · 2010 · 3K citations · Full text
Natural Sciences, Astronomy, Physics +17
Detection of an Extrasolar Planet Atmosphere
David Charbonneau, Timothy M. Brown, R. W. Noyes et al. · The Astrophysical Journal · 2002 · 1.4K citations · Full text
An extended upper atmosphere around the extrasolar planet HD209458b
A. Vidal‐Madjar, A. Lecavelier des Étangs, Jean-Michel Désert et al. · Nature · 2003 · 1.2K citations