Model Checking

Alias

INF-25-Ma-FTK-MC

CampusNet

M1101-FTKMC

Leistungspunkte

12

Anfangssemester

Wintersemester

Verantwortlich

Baier, Christel Prof. Dr. <christel.baier@tu-dresden.de>

Organisation

Professur für Algebraische und logische Grundlagen der Informatik

Sprachen

Deutsch oder English

Erasmus

Bachelor-Abschluss, Master-Abschluss

Status

Aktiv

Modulbeschreibung

Deutsch · English