Abstraction Refinement for Large Scale Model Checking, Fachbücher von Chao Wang

Abstraction Refinement For Large Scale Model Checking Chao Wang (u.

Abstraction, Refinement and Proof for Probabilistic Systems, Fachbücher

Model Checking for Game Design, Fachbücher

Creating Dynamic Radar Models for Large-Scale Simulations, Fachbücher von Michael Pietsch

Coverage Metrics for Model Checking, Fachbücher

Computational Solution of Large-Scale Macroeconometric Models, Fachbücher

Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments, Fachbücher

Model Checking, Fachbücher

Model Checking Software, Fachbücher

Algorithms for Large-Scale Topology Discovery, Fachbücher

Abstraction, Refinement And Proof For Probabilistic Systems 1235

Model-checking infinite state systems for information flow security, Fachbücher

Gradient Type Methods For Large Scale Optimization, Fachbücher

Large Scale Linear Coding for Image Classification, Fachbücher

Meta-Heuristics for Large-Scale Process Scheduling, Fachbücher