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: Systems Analysis
- Category: Process Modeling
- Category: Theoretical Computer Science
- Category: Markov Model
- Category: Probability Distribution
- Category: Algorithms
- Category: Computational Logic
- Category: Logical Reasoning
- Category: Probability
- Category: Mathematical Modeling
- Category: Verification And Validation
