Yazar
Larsen, Kim Guldstrand. editor.
Format:
Electronic Resources
Alıntı:
Efficiency of Supervisory Control Synthesis -- Incremental development of a safety critical system combining
Yazar
Howar, Falk. editor.
Format:
Electronic Resources
Alıntı:
Problem -- Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early
View Other Search Results
Yazar
D'Souza, Deepak. editor.
Format:
Electronic Resources
Alıntı:
-- Finding Polynomial Loop Invariants for Probabilistic Programs -- Synthesis of Optimal Resilient Control
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Abstraction-based Control Synthesis -- Temporal Stream Logic: Synthesis beyond the Bools -- Run-Time Optimization
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems