Ders Kataloğu
| EE 636 Sayısal Sistemlerin Biçimsel Belirtimi ve Doğrulaması | 3 SU Kredi | ||||||
|---|---|---|---|---|---|---|---|
| Aralarında ardışıl, eşzamanlı koşut, dağıtık ve gerçek zamanlı sistemlerin de bulunduğu gerçek yaşam yazılım ve donanım sistemlerinin biçimsel belirtimi ve doğrulanması için yöntemler. Ana biçimsel belirtim ve doğrulama yaklaşımları üzerine bir araştırma sunulur. | |||||||
|
|||||||
| Onkosul: __ | |||||||
| Yankosul: __ | |||||||
| ECTS Kredi: 10 ECTS (ENGINEERING: / BASIC:) | |||||||
| Genel Kosullar : | |||||||