W 2006

11th International Workshop on Formal Methods for Industrial Critical Systems

BRIM, Luboš a Martin LEUCKER

Základní údaje

Originální název

11th International Workshop on Formal Methods for Industrial Critical Systems

Název česky

Formálni metody pro prùmyslové systémy

Autoři

BRIM, Luboš a Martin LEUCKER

Vydání

2006

Další údaje

Jazyk

angličtina

Typ výsledku

Uspořádání workshopu

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

formal methods

Štítky

Příznaky

Mezinárodní význam
Změněno: 29. 3. 2007 16:31, prof. RNDr. Luboš Brim, CSc.

Návaznosti

MSM0021622419, záměr
Název: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1ET408050503, projekt VaV
Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů
1M0545, projekt VaV
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky