11th International Workshop on Formal Methods for Industrial Critical 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.

Název česky	Formálni metody pro prumyslové systémy
Autoři	BRIM Luboš LEUCKER Martin
Rok publikování	2006
Druh	Uspořádání workshopu
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy