„Testing Methods“
Suchergebnisse
4.958 Treffer
-
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change – 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
-
Testing Software and Systems – 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
-
Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
-
Formal Methods: Foundations and Applications – 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
-
Software Engineering and Formal Methods – 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings
-
Formal Methods: Foundations and Applications – 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
-
Tests and Proofs – 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
-
Formal Methods for Eternal Networked Software Systems – 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
-
Unifying Theories of Programming – Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
-
Unifying Theories of Programming – Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
-
Association between school climate, teachers’ self-efficacy, instructional practice, and perceived needs in professional development: a structural equation analysis using Shanghai TALIS 2018 data
-
Hypothesis testing on the correlation coefficient
-
Experimentelle Tragsicherheitsbewertung an Spannbeton-Hohlkammerplatten nach einer unplanmäßigen Abweichung vom Sanierungskonzept
-
Evaluation on the fly: Highly mobile testing methods for steel components
-
Pre-selected class-level testing of longitudinal biomarkers reduces required multiple testing corrections to yield novel insights in longitudinal small sample human studies
-
A Multiple Testing Approach to High-Dimensional Association Studies with an Application to the Detection of Associations between Risk Factors of Heart Disease and Genetic Polymorphisms
-
Error-Rate and Decision-Theoretic Methods of Multiple Testing: Which Genes Have High Objective Probabilities of Differential Expression?
-
Multivariate methods for genetic association testing for immune traits in maternal pig breeds
-
DIN EN ISO 19424, Schließfächer mit Kühlfunktion für Lebensmittel - thermische und energetische Leistung, Bewertungen, Umgebungsprüfbedingungen und zugehörige Prüfverfahren (ISO/DIS 19424:2025) – = Refrigerated food lockers - thermal and energy performance, ratings, environmental test conditions and associated testing methods (ISO/DIS 19424:2025)
-
DIN ISO 13528, Statistische Verfahren für Eignungsprüfungen durch Vergleiche zwischen Laboratorien (ISO 13528:2022) – = Statistical methods for use in proficiency testing by interlaboratory comparison (ISO 13528:2022)