1
Published 2015
Table of Contents: ... -- Testing Functional Requirements in UML Activity Diagrams -- Coverage of OCL Operation Specifications...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... and Application of UV Excimer Lamps in Nanofabrication -- Functionalization of Semiconductor Nanoparticles...
View full text
Electronic eBook
3
Subjects: ...Simulation and Modeling. https://scigraph.springernature.com/ontologies/product-market-codes/I19000...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... -- Analysis of Alertness Status of Subjects Undergoing the Cortical Auditory Evoked Potential Hearing Test...
View full text
Electronic eBook
5
Table of Contents: ... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...
View full text
Electronic eBook
6
Table of Contents: ... simulations -- Discussion: Biological Assumptions and Predictions -- Future Work: Computational Directions...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...
View full text
Electronic eBook
8
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Imaging by Space–Time Deconvolution in Array GPR -- Time-Domain Characterization of Asymptotic Conical...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... -- Chapter 3. A Study of Generalized Invex Functions on Riemannian Manifold -- Chapter 4. Second order...
View full text
Electronic eBook
11
Published 2007
Table of Contents: ... Dynamics Simulation: Testing SCA on Paradigmatic Cases of Emerging Coordination in Negative Interaction...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Simulation in Fully and Partially Sighted Individuals -- Testing Visual Functions in Patients with Visual...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... Technology -- Using Gaussian Potential Function for Underdetermined Blind Sources Separation Based on DUET...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ... Registration and Model Building -- Hypothesis Testing with Nonlinear Shape Models -- Extrapolation of Sparse...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... for Submillimetric Press-Fitting -- Design and Testing of an Ortho-Planar Micro-Valve -- Robust Design of a Lens...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... and Simulation of the Emergency Diesel Generator Based-on MATLAB -- Improvement of the Positioning Accuracy...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Programs for Functional Test and Diagnosis of VLIW Processors -- SEU-Aware Low-Power Memories Using a...
View full text
Electronic eBook