Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for
View Other Search Results
Yazar
Bernardo, Marco. editor.
Format:
Electronic Resources
Alıntı:
Equations -- Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools -- Spatial
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: