11th International Workshop on Formal Methods for Industrial Critical Systems

Brim,  Luboš; Leucker, Martin

11th International Workshop on Formal Methods for Industrial Critical Systems

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BRIM Luboš LEUCKER Martin
Year of publication	2006
Type	Workshop
MU Faculty or unit	Faculty of Informatics
Citation
Related projects:	Techniques for automatic verification and validation of software nad hardware systems Institute for Theoretical Computer Science Highly Parallel and Distributed Computing Systems