„(Keywords)Validation“

Suchergebnisse

1.000+ Treffer

• Agent Technology from a Formal Perspective
  Hinchey, Michael ; Rash, James ; Truszkowski, Walt ; Gordon-Spears, Diana F. ; Rouff, Christopher A. 2006 Springer London
• Development, validation, and application of semi-analytical interconnect models for efficient simulation of multilayer substrates
  Rimolo-Donadio, Renato
• Diesel Nozzle Flow and Spray Formation – Coupled Simulations with Real Engine Validation
  Suzzi, Daniele 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
• Control and Automation, and Energy System Engineering – International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
  Kim, T'ae-hun ; Adeli, Hojjat ; Stoica, Adrian ; Kang, Byeong-Ho 2011 Springer Berlin Heidelberg
• Computer Safety, Reliability, and Security – 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings
  Flammini, Francesco ; Bologna, Sandro ; Vittorini, Valeria 2011 Springer Berlin Heidelberg
• Digital Human Modeling – Third International Conference, ICDHM 2011, Held as Part of HCI International 2011, Orlando, FL, USA July 9-14, 2011. Proceedings
  Duffy, Vincent G. 2011 Springer Berlin Heidelberg
• NASA Formal Methods – Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
  Bobaru, Mihaela ; Havelund, Klaus ; Holzmann, Gerard J. ; Joshi, Rajeev 2011 Springer Berlin Heidelberg
• Engineering Secure Software and Systems – Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings
  Erlingsson, Úlfar ; Wieringa, Roel ; Zannone, Nicola 2011 Springer Berlin Heidelberg
• Runtime Verification – First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  Barringer, Howard ; Rosu, Grigore ; Sokolsky, Oleg 2010 Springer Berlin Heidelberg
• Requirements Engineering
  Zowghi, Didar ; Jin, Zhi 2011 Springer London
• Hardware and Software: Verification and Testing – 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
  2011 Springer Berlin Heidelberg
• FM 2011: Formal Methods – 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
  Butler, Michael ; Schulte, Wolfram 2011 Springer Berlin Heidelberg
• Clinical Prediction Models – A Practical Approach to Development, Validation, and Updating
  Steyerberg, Ewout W. 2009 Springer US
• System-level Test and Validation of Hardware/Software Systems
  Sonza Reorda, Matteo ; Peng, Zebo ; Violante, Massimo 2005 Springer International Publishing
• High-Level Verification – Methods and Tools for Verification of System-Level Designs
  Lerner, Sorin ; Gupta, Rajesh Kumar ; Kundu, Sudipta 2011 Springer New York
• Validation of Data Flow Results for Program Modules
  Klohs, Karsten 2010 Suedwestdeutscher Verlag fuer Hochschulschriften
• Validation of data flow results for program modules
  Klohs, Karsten
• Algebraic Methodology and Software Technology – 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
  2011 Springer Berlin Heidelberg
• Algebraic methodology and software technology – 13th international conference ; revised selected papers
  Johnson, Michael ; Pavlovic, Dusko 2011 Springer
• Industrial Applications of Evolutionary Algorithms
  Sanchez, Ernesto ; Squillero, Giovanni ; Tonda, Alberto 2012 Springer Berlin Heidelberg