Specializační okruh

Časované automaty a jejich analýza (abstrakce založená na regionech, logika TCTL).

Materiály

Zatím tu nejsou žádné materiály.