„Process verification and validation“

Suchergebnisse

1.000+ Treffer

• 10431 Report – Software Engineering for Self-Adaptive Systems
  de Lemos, Rogerio ; Giese, Holger ; Müller, Hausi ; Shaw, Mary
• Enterprise and Organizational Modeling and Simulation – 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers
  Pergl, Robert ; Lock, Russell ; Babkin, Eduard ; Molhanec, Martin 2017 Springer Berlin Heidelberg
• Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  Przigoda, Nils ; Wille, Robert ; Przigoda, Judith ; Drechsler, Rolf 2018 Springer International Publishing
• Software Quality Assurance – Consistency in the Face of Complexity and Change
  Walkinshaw, Neil 2017 Springer International Publishing
• Simulation Model Exchange in Process Industry: Requirements, Solutions, and Open Challenges
  Mädler, Jonathan ; Serrano, Claudia Guadarrama ; Viedt, Isabell ; Farkas, Tamás ; Semrau, Julia ; Otten, Wilhelm ; Krämer, Stefan ; Schüller, Andreas
• Implementing a Structured Head and Neck Cancer Care Pathway in an Electronic Health Record: Iterative Process and Effects on Data Quality
  de Jel, Dominique V. C. ; van Koevorden, J. Willemijn ; Singer, Melanie ; van der Noort, Vincent ; Smeele, Ludi E. ; Dirven, Richard
• Analyzing Interacting BPEL Processes
  Lohmann, Niels ; Massuthe, Peter ; Stahl, Christian ; Weinberg, Daniela 2006 Humboldt-Universität zu Berlin
• Radial pulse rate estimation from brightness-mode ultrasound imaging
  Bahmani, Nima ; Kärkkäinen, Titus ; Kantola, Janne ; Aarela, Oula ; Häkkänen, Otso ; Turakainen, Venla ; Nässi, Viktor ; Panula, Tuukka ; Vujaklija, Ivan ; Sigg, Stephan ; Carlson, Craig S.
• A generalized process for the verification and validation of models and simulation results
  Brade, Dirk
• 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
  Margaria, Tiziana ; Steffen, Bernhard 2014 Springer Berlin Heidelberg
• Validation and verification of low power and area efficient fault model methods using 16nm technology
  Sahithi, Nagapuri ; Lavudya, Jyothi ; Krishnahari, E.
• Verification and validation of zero-point electron-phonon renormalization of the bandgap, mass enhancement, and spectral functions
  Poncé, Samuel ; Lihm, Jae-Mo ; Park, Cheol-Hwan
• 10431 Abstracts Collection – Software Engineering for Self-Adaptive Systems
  de Lemos, Rogerio ; Giese, Holger ; Müller, Hausi ; Shaw, Mary
• Handbook of Software Engineering
  Cha, Sungdeok 2019 Springer International Publishing
• Post-Silicon Validation and Debug
  Mishra, Prabhat ; Farahmandi, Farimah 2019 Springer International Publishing
• Evacuation Modeling Trends
  Cuesta, Arturo ; Abreu, Orlando ; Alvear, Daniel 2016 Springer International Publishing
• Quantitative Evaluation of Systems – 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings
  2015 Springer International Publishing
• Leveraging applications of formal methods, verification and validation – 6th international symposium ; proceedings
  Margaria, Tiziana ; Steffen, Bernhard Springer
• Requirements Engineering: Foundation for Software Quality – 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings
  2014 Springer International Publishing
• CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
  2013 Springer Vienna