NVER, okruh č. 47

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

Materiály

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

Použito také ve specializacích

• NSEN – Softwarové inženýrství, č. 50
• NVER – Verifikace a testování software, č. 47