Yazar
Fränzle, Martin. editor.
Format:
Electronic Resources
Alıntı:
are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control
Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
-- Distributed Synthesis of State-Dependent Switching Control -- Compositional Analysis of Boolean Networks Using
View Other Search Results
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
Control -- Descriptional Complexity of Graph-controlled Insertion-deletion Systems -- Operations on Weakly
Yazar
Meduna, Alexander. author.
Format:
Electronic Resources
Alıntı:
Grammar Systems -- Self-Regulating Automata -- Automata Regulated by Control Languages -- Jumping Finite
Yazar
Blesa, Maria J. editor.
Format:
Electronic Resources
Alıntı:
Acceleration in PSO -- Districting and Routing for Security Control -- A GRASP/VND Heuristic for a Generalized
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
-- A Theory of Slicing for Probabilistic Control Flow Graphs -- Verification of parameterized
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Experiences -- Formal Verification of Lunar Rover Control Software Using UPPAAL -- Formal Verification of a
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Verification Errors -- JDart: A Dynamic Symbolic Analysis Framework -- Diagnostic Information for Control
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Human-in-the-Loop Control Systems -- Learning Regular Languages over Large Alphabets -- Verification of Concurrent
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Evolving Distributed Control System Using an Event-Based Approach -- Requirements Driven Data Warehouse