Coursera | Online Courses & Credentials From Top Educators. Join for Free | Coursera

Completed by CHENGWEI DUAN

May 15, 2022

13 hours (approximately)

CHENGWEI DUAN's account is verified. Coursera certifies their successful completion of Quantitative Model Checking

Quantitative Model Checking

4.3 (54 ratings)

|

6,549 already enrolled

Enroll for Free

Skills you will gain

Algorithms
Theoretical Computer Science
Graph Theory
Computational Logic
Systems Analysis
Probability
Markov Model
Mathematical Modeling
Probability Distribution
Verification And Validation

View certificate for CHENGWEI DUAN, Quantitative Model Checking, an online non-credit course authorized by EIT Digital and offered through Coursera