Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum
Yazar
Jacobs, Bart. editor.
Format:
Electronic Resources
Alıntı:
-- A Theory of Slicing for Probabilistic Control Flow Graphs -- Verification of parameterized
View Other Search Results
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: