Quantitative Evaluation Of Embedded Systems Ders Notu

2.00 TL

0/5 puan

Yayıncı Bilgileri

ogulcanbal (72)

Dersin Öğretim Üyesi
Pieter Cuijpers
Üniversite
Eindhoven University of Technology
Fakülte & Enstitü
Bilgisayar ve Bilisim Bilimleri Fakültesi
Bölüm
Embedded Systems
Ders yılı
2017-2018
Dönem
Güz
Diğer Bilgiler

In QEES you will learn how to formalize behavior of systems in such a way that you can analyse quantitative properties of such systems. For example, you will learn how to use Markov-chains to analyze whether the chance of a certain event occurring in a system is larger than a probability p, and you will learn how to use Dataflow graphs.

Yorumlar

Bu ders notu için henüz yorum yapılmamıştır.

Hemen satın alıp ilk yorumu sen yapabilirsin.