1. Home
  2. Medien
  3. Bücher
  4. Using Model Checking to Generate Test Cases for Critical Systems
  • #
  • #

Using Model Checking to Generate Test Cases for Critical Systems

49.00 EUR

Teilen:

Ähnliche Produkte

Automated Verification of Dynamic Access Control Policies

Automated Verification of Dynamic Access Control Policies

68.00 EUR
On The Dynamics of Some Eco-Epidemiological Models

On The Dynamics of Some Eco-Epidemiological Models

44.90 EUR

Opinion Mining using Lexicon Matching Based on Hidden Markov Model

35.90 EUR
The European Tungsten Carbide Industry and Porter's Diamond Model

The European Tungsten Carbide Industry and Porter's Diamond Model

28.90 EUR
Analysis of UK Grocery Retailers -Tesco

Analysis of UK Grocery Retailers -Tesco- using competitive strategies

49.00 EUR
Univariate Time Series Modelling and Forecasting using TSMARS

Univariate Time Series Modelling and Forecasting using TSMARS

79.00 EUR
Information Flow Security in Tree-Manipulating Processes

Information Flow Security in Tree-Manipulating Processes

67.90 EUR
Radio Wave Propagation Modelling using Finite Element Method: Novel approaches to model radio wave propagation and solve complex models efficiently using finite element analysis

Radio Wave Propagation Modelling using Finite Element Method: Novel approaches to model radio wave propagation and solve complex models efficiently using finite element analysis

79.00 EUR