„Model-checking“
Suchergebnisse
1.904 Treffer
-
A new semi-automated workflow for chemical data retrieval and quality checking for modeling applications
-
Model checking evaluation of airplane landing trajectories
-
Learning and statistical model checking of system response times
-
Model Checking of Time Petri Nets Using the State Class Timed Automaton
-
Assumption–Commitment Support for CSP Model Checking
-
Symmetry reduction in CSP model checking
-
Decidability of model checking for infinite-state concurrent systems
-
Partial-order Reduction Techniques for Real-time Model Checking
-
Achieving distributed control through model checking
-
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
-
Comparing approaches for model-checking strategies under imperfect information and fairness constraints
-
Concurrent objects and beyond – papers dedicated to Akinori Yonezawa on the occasion of his 65th birthday
-
Human-computer interaction and knowledge discovery in complex, unstructured, big data – third international workshop ; proceedings
-
Reachability problems – 6th international workshop ; proceedings
-
Games, actions, and social software – multidisciplinary aspects
-
NASA formal methods – 4th international symposium ; proceedings
-
Data engineering and management – second international conference ; revised selected papers
-
Specification, proof, and model checking of the Mondex electronic purse using RAISE
-
Stateless model checking of the Linux kernel’s read–copy update (RCU)
-
Optimization techniques for craig interpolant compaction in unbounded model checking