Yazar
Fränzle, Martin. editor.
Format:
Electronic Resources
Alıntı:
are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control
Yazar
Zamani, Majid. editor.
Format:
Electronic Resources
Alıntı:
Tutorials -- Correctness and Optimality for Control Systems -- Modeling, Control, and Verification
View Other Search Results
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
-- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
Control -- Descriptional Complexity of Graph-controlled Insertion-deletion Systems -- Operations on Weakly
Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
practitioners in the areas of verification, control, performance, and dependability evaluation in order to
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum
Yazar
Maler, Oded. editor.
Format:
Electronic Resources
Alıntı:
Immune Response Enhancement Strategy via Hybrid Control Perspective -- Fluorescent Reporter Genes
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
-- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
-- A Theory of Slicing for Probabilistic Control Flow Graphs -- Verification of parameterized
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent
Yazar
Gheorghe, Marian. editor.
Format:
Electronic Resources
Alıntı:
Control -- Probabilistic Guarded P Systems, a New Formal Modelling Framework -- Solving the
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic
Arama Sonuçlarını Sınırlandır
Daraltılmış: