NASA, USA

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
NASA, USA
 

OrgUnit's Publications


Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartošová, Lenka ; Fischer, Milan ; Balek, Jan ; Bláhová, Monika ; Kudláčková, Lucie ; Chuchma, Filip ; Hlavinka, Petr ; Mozný, Martin ; Zahradníček, Pavel ; Wall, Nicole ; Hayes, Michael A. ; Hain, Christopher ; Anderson, Martha ; Wagner, Wolfgang ; Zalud, Zdeněk ; Trnka, Miroslav Validity and reliability of drought reporters in estimating soil water content and drought impacts in central EuropeArtikel Article 15-Mar-2022
2Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf.jpgBartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2019