The main focus of this online course is on quantitative model checking for Markov chains, for which the course will discuss efficient computational algorithms.
| Dozent: | Professor Anne Remke |
| Bereitgestellt von: | Coursera |
| Kurssprache: | Englisch |
| Kosten: | kostenlos |
| Level: | Vorkenntnisse |
| Zertifikat erhältlich? | (Gebühr) |
| Format: | MOOC/Online-Kurs |
Wie gefällt Dir der Kurs 'Quantitative Model Checking'?
