Yazar
Dastani, Mehdi. editor.
Format:
Electronic Resources
Alıntı:
-- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
Probabilistic Real-time Systems -- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions
View Other Search Results
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
resources for Bug Assignment -- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
of Probabilistic Basic Parallel Processes -- Limit Synchronization in Markov Decision Processes
Yazar
Merz, Stephan. editor.
Format:
Electronic Resources
Alıntı:
-- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic Formalism
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Processes and Stochastic Games -- Symbolic Monitoring against Specifications Parametric in Time and Data
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
-- Mitigating Security Risks through Attack Strategies Exploration -- Statistical Model Checking of Processor
Yazar
Aceto, Luca. editor.
Format:
Electronic Resources
Alıntı:
-- Bicategories of Markov Processes -- Property-Preserving Parallel Decomposition -- A Generic Algorithm for
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Multi-Objective Strategy Synthesis for Stochastic Games -- Cerberus: Automated Synthesis of Enforcement Mechanisms
Yazar
Baier, Christel. editor.
Format:
Electronic Resources
Alıntı:
Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving -- On
Arama Sonuçlarını Sınırlandır
Daraltılmış: