11th International Workshop on Formal Methods for Industrial Critical Systems

Varování

Publikace nespadá pod Filozofickou fakultu, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.