„Model-checking“
Suchergebnisse
1.904 Treffer
-
VerifCar: a framework for modeling and model checking communicating autonomous vehicles
-
Spatial logics and model checking for medical imaging
-
Specific interaction theory versus Pitzer’s model in groundwaters and brines for checking equilibria/non-equilibria with calcite, gypsum, and halite: application to predict the evolution of solutions concentrated by evaporation in irrigated areas
-
Pushdown model checking for malware detection
-
Fakultät Informatik
-
Christoph Hein: "Der fremde Freund": Distanz als Existenzform – Ein Lebensmodell auf dem Prüfstand
-
Spezifikation und Implementation des CAN-Arbitrierungsverfahrens in UPPAAL
-
Checking for model failure and for prior-data conflict with the constrained multinomial model
-
Kullback–Leibler divergence for Bayesian nonparametric model checking
-
Using knowledge discovery to propose a two-phase model checking for safety analysis of graph transformations
-
Formal methods for dynamical systems – advanced lectures
-
Modellprüfverfahren zur Ermittlung realer Haftreibwerte von gefügten Maschinenelementen
-
A Mathematical Model of a Winter Route Census: Checking for Falsification
-
Alternative automata-based approaches to probabilistic model checking
-
Formal configuration of fault-tolerant systems
-
Formal methods for probabilistic energy models
-
Weak conformance between process models and synchronized object life cycles
-
Model checking for flat systems and temporal logic with counting
-
Safety and security of software systems – logics, proofs, applications : post-proceedings of the Summer School Marktoberdorf
-
Verifying ReLU Neural Networks from a Model Checking Perspective