„Test Generation“

Suchergebnisse

1.077 Treffer

• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• Formal Methods for Executable Software Models – 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
  2014 Springer International Publishing
• Die 6 wichtigsten Entscheidungen für Jugendliche – Wie du die Weichen für dein Leben richtig stellst
  Covey, Sean ; Pross-Gill, Ingrid ; Wuerz, Timo 2010 GABAL Verlag
• Die 6 wichtigsten Entscheidungen für Jugendliche – wie du die Weichen für dein Leben richtig stellst
  Covey, Sean 2008 GABAL-Verl.
• Logic Synthesis for Genetic Diseases – Modeling Disease Behavior Using Boolean Networks
  2014 Springer New York
• Primality Testing and Integer Factorization in Public-Key Cryptography
  2009 Springer US
• Hardware and software: verification and testing – revised selected papers
  Biere, Armin ; Nahir, Amir ; Vos, Tanja 2013 Springer
• Seven-year performance of a clinical metagenomic next-generation sequencing test for diagnosis of central nervous system infections
  Benoit, Patrick ; Brazer, Noah ; de Lorenzi-Tognon, Mikael ; Kelly, Emily ; Servellita, Venice ; Oseguera, Miriam ; Nguyen, Jenny ; Tang, Jack ; Omura, Charles ; Streithorst, Jessica ; Hillberg, Melissa ; Ingebrigtsen, Danielle ; Zorn, Kelsey ; Wilson, Michael R. ; Blicharz, Tim ; Wong, Amy P. ; O’Donovan, Brian ; Murray, Brad ; Miller, Steve ; Chiu, Charles Y.
• Primality Testing and Integer Factorization in Public-Key Cryptography
  2004 Springer US
• Exon Skipping – Methods and Protocols
  Aartsma-Rus, Annemieke 2012 Humana Press
• Advances in artificial intelligence – proceedings
  Kuri-Morales, Angel ; Simari, Guillermo R. 2010 Springer
• Generation of diagnostic memory tests and on-chip test applikation with special consideration of embedded memories in system-on-chips
  Niggemeyer, Dirk 2003 Mensch-und-Buch-Verl.
• Potential next generation markers of testicular germ cell tumors: miRNA-371a-3p
  Zujuan, Shan ; Xin, Deng ; Yang, Hongping ; Guifu, Zhang
• Towards Developing the Scientific Basis for New Testing Methodologies to Quantify and Compare Firebrand Generation from Building Components
  Suzuki, Sayaka ; Naruse, Tomohiro ; Manzello, Samuel L.
• Los jetzt! Test: acht Enduros – die neue Generation
  Lehner, Dimitri 2024 BIKE-Redaktion
• Synthetic X-ray Image Generation for Non-Destructive Testing using Generative Adversarial Networks
  Gosswami, Bishwajit Mohan ; Chanda, Rajib Kumar ; Wittenberg, Thomas
• ISO 15189 is a sufficient instrument to guarantee high-quality manufacture of laboratory developed tests for in-house-use conform requirements of the European In-Vitro -Diagnostics Regulation – Joint opinion of task force on European regulatory affairs and working group accreditation and ISO/CEN standards of the European Federation of Clinical Chemistry and Laboratory Medicine
  Vanstapel, Florent ; Orth, Matthias ; Streichert, Thomas ; Capoluongo, Ettore ; Oosterhuis, Wytze P. ; Çubukçu, Hikmet Can ; Bernabeu-Andreu, Francisco A. ; Thelen, Marc ; Jacobs, Leo H.J. ; Linko, Solveig ; Bhattoa, Harjit Pal ; Bossuyt, Patrick M.M. ; Meško Brguljan, Pika ; Boursier, Guilaine ; Cobbaert, Christa ; Neumaier, Michael
• A second generation nonlinear factor analysis
  Etezadi-Amoli, Jamshid ; McDonald, Roderick P.
• Next-generation rapid phenotypic antimicrobial susceptibility testing
  Reszetnik, Grace ; Hammond, Keely ; Mahshid, Sara ; AbdElFatah, Tamer ; Nguyen, Dao ; Corsini, Rachel ; Caya, Chelsea ; Papenburg, Jesse ; Cheng, Matthew P. ; Yansouni, Cedric P.
• Generation of Positive and Negative Tests for Parsers
  Zelenov, S. V. ; Zelenova, S. A.