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
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ış: