Using Model Checking to Generate Test Cases for Critical Systems

Wo zu kaufen (1) Eigenschaften
Gesponsert
Using Model Checking to Generate Test Cases for Critical Systems, Fachbücher von Wei Ding
Galaxus.de
49.00 EUR
Preis aktualisiert am: 30-04-2026 12:17:12
Siehe Produktangebot

Allgemein

Marke
LAP Lambert Academic Publishing

Eigenschaften

Ähnliche Produkte

Automated Verification of Dynamic Access Control Policies
Automated Verification of Dynamic Access Control Policies
Produkt anzeigen
On The Dynamics of Some Eco-Epidemiological Models
On The Dynamics of Some Eco-Epidemiological Models
Produkt anzeigen
Opinion Mining using Lexicon Matching Based on Hidden Markov Model
Opinion Mining using Lexicon Matching Based on Hidden Markov Model
Produkt anzeigen
Hohmann, A: European Tungsten Carbide Industry and Porter's
Hohmann, A: European Tungsten Carbide Industry and Porter's
Produkt anzeigen
Analysis of UK Grocery Retailers -Tesco
Analysis of UK Grocery Retailers -Tesco- using competitive strategies
Produkt anzeigen
Univariate Time Series Modelling and Forecasting using TSMARS
Univariate Time Series Modelling and Forecasting using TSMARS
Produkt anzeigen
Menü