Interessieren Dich Online-Kurse?

Edukatico wird Dich ab und zu über Neuigkeiten informieren. (Du kannst das jederzeit wieder beenden.)

Coursera logo
Anbieter: Coursera
Weiter zum Online-Kurs
Transparenzhinweis: Einige Kursanbieter unterstützen den Betrieb unseres Suchportals durch Kursbuchungs-Provisionen.

Inhalt

The main focus of this online course is on quantitative model checking for Markov chains, for which the course will discuss efficient computational algorithms.

EIT Digital

Dozent: Professor Anne Remke
Bereitgestellt von: Coursera
Kurssprache: Englisch
Kosten: kostenlos
Level: Vorkenntnisse
Zertifikat erhältlich? (Gebühr)
Format: MOOC/Online-Kurs
Weiter zum Online-Kurs
Transparenzhinweis: Einige Kursanbieter unterstützen den Betrieb unseres Suchportals durch Kursbuchungs-Provisionen.

Wie gefällt Dir der Kurs 'Quantitative Model Checking'?

Weitere Kurse des Fachgebiets Informatik, EDV