Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Leveraging Applications of Formal Methods, Verification and Validation: Foundati

Ø 0.0
0 Bewertungen
125,22 €

Statistical Model Checking: Past, Present and Future. - Hypothesis testing for rare-event simulation: limitations and possibilities. - Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.

Jetzt bei Ebay: