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
View Other Search Results
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
Gheorghe, Marian. editor.
Format:
Electronic Resources
Alıntı:
Control -- Probabilistic Guarded P Systems, a New Formal Modelling Framework -- Solving the
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: