NSEN, okruh č. 49

Model checking, paralelní kompozice (handshake).

Materiály

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

Použito také ve specializacích

• NSEN – Softwarové inženýrství, č. 49