Yazar
Krishnamachari, Bhaskar. editor.
Format:
Electronic Resources
Alıntı:
following areas: network protocols, system issues, reliability, and sensing.
Yazar
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
Format:
Electronic Resources
Alıntı:
verification techniques are lightweight techniques to assess system correctness, reliability, and robustness
View Other Search Results
Yazar
Falcone, Yliès. editor.
Format:
Electronic Resources
Alıntı:
Reliability -- Predicting Space Requirements for a Stream Monitor Specification Language -- A Stream-based
Yazar
Träff, Jesper Larsson. editor.
Format:
Electronic Resources
Alıntı:
Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A
Arama Sonuçlarını Sınırlandır
Daraltılmış: