Model Checking of Control-User Systems

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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