11th International Workshop on Formal Methods for Industrial Critical Systems

• 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

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