Quantitative Model Checking
Completed by Nada Battah
August 16, 2023
13 hours (approximately)
Nada Battah's account is verified. Coursera certifies their successful completion of Quantitative Model Checking
Skills you will gain
- Category: Probability Distribution
- Category: Mathematical Modeling
- Category: Logical Reasoning
- Category: Process Modeling
- Category: Probability
- Category: Computational Logic
- Category: Theoretical Computer Science
- Category: Systems Analysis
- Category: Markov Model
- Category: Algorithms
- Category: Verification And Validation

