Leveraging Applications of Formal Methods, Verification and Validation: Foundati
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: