W 2006

11th International Workshop on Formal Methods for Industrial Critical Systems

BRIM, Luboš and Martin LEUCKER

Basic information

Original name

11th International Workshop on Formal Methods for Industrial Critical Systems

Name in Czech

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

Authors

BRIM, Luboš and Martin LEUCKER

Edition

2006

Other information

Language

English

Type of outcome

Uspořádání workshopu

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

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

References:

Organization unit

Faculty of Informatics

Keywords in English

formal methods

Tags

Tags

International impact
Změněno: 29/3/2007 16:31, prof. RNDr. Luboš Brim, CSc.

Links

MSM0021622419, plan (intention)
Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET408050503, research and development project
Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems
1M0545, research and development project
Name: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science