Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Statistical Model Checking in Nondeterministic Continuous Time -- Statistical Model-Checking of Incomplete
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Reliability Analysis of Evolving Structured Workflows -- Prototype-Driven Development of Web Applications with
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
of Statistical Model Checking Pitfalls on Real-Time Stochastic Models -- Formal Analysis of the Wnt
Arama Sonuçlarını Sınırlandır
Daraltılmış: