- Statistical Modeling
- Computational Logic
- Markov Model
- Probability Distribution
- Mathematical Modeling
- Probability
- Verification And Validation
- Algorithms
- Theoretical Computer Science
- Systems Analysis
Quantitative Model Checking
Completed by SURAJ KUMAR
May 4, 2020
13 hours (approximately)
SURAJ KUMAR's account is verified. Coursera certifies their successful completion of Quantitative Model Checking
Skills you will gain
