Model Checking of Control-User Systems

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	MORAVCOVÁ VAŘEKOVÁ Pavlína VAŘEKOVÁ
Rok publikování	2009
Druh	Účelové publikace
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy