1

2 Table of Contents: “... -- 8. Specification and Checking the Adequacy of VARMA Models -- 9. Fitting Finite Order VAR Models...”

3 Table of Contents: “.... Probabilistic Testing Semantics -- 5. Testing Finite Probabilistic Processes -- 6. Testing Finitary...”

4 Table of Contents: “... -- Specification and Checking the Adequacy of VARMA Models -- Cointegrated VARMA Processes -- Fitting Finite Order...”

5 Table of Contents: “... Force Approach to Fit Finite Mixture Distributions -- Freight Train Scheduling in Railway Systems -- A...”

6 Table of Contents: “... elastoplastic parameters from instrumented indentation test -- Finite element simulation of single point...”

7 “..., generation, and testing. Finite-state machines, formal grammars, Petri nets and some speCification languages...”

8 Table of Contents: “...-Driven State Space Generation -- Testing Finite State Machines Presenting Stochastic Time and Timeouts...”

9 Table of Contents: “... Relations -- A Rasch Model for the Speed-Accuracy Tradeoff in Time Limited Tests -- Testing Finite State...”

10 “..., automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state...”

11 Table of Contents: “... Multi-hierarchy Classification Model: Rough Set Based Feature Decomposition Method -- On Fitting Finite...”

12

13 Table of Contents: “... -- Application of Laboratory Fracture Mechanics Data to Hydraulic Fracturing Field Tests -- Finite Element...”

14 Table of Contents: “...Fitted Finite Volume Method for Unsaturated Flow Parabolic Problems with Space Degeneration...”

15 Table of Contents: “... with Liquidity Shocks Switching by Fitted Finite Volume Method -- Space-Time Finite Element Methods for Parabolic...”

16 Table of Contents: “... Wire Devices -- An Exponentially Fitted Finite Element Scheme for Diffusion Process Simulation...”