Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes
Yazar
Stevens, Perdita. editor.
Format:
Electronic Resources
Alıntı:
resources for Bug Assignment -- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic
View Other Search Results
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
Baldan, Paolo. editor.
Format:
Electronic Resources
Alıntı:
Functions as Processes -- Bisimulations Up-to: Beyond First-Order Transition Systems -- Parameterized Model
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ış: