11th International Workshop on Formal Methods for Industrial Critical Systems

• Authors: BRIM Luboš; LEUCKER Martin
• Year of publication: 2006
• Type: Workshop
• MU Faculty or unit: Faculty of Informatics

Related projects

• Techniques for automatic verification and validation of software nad hardware systems
• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems