Special Issue on Parallel and Distributed Verification - Foreword

• Authors: BRIM Luboš; LEUCKER Martin
• Year of publication: 2006
• Type: Article in Periodical
• Magazine / Source: Formal Methods in System Design
• MU Faculty or unit: Faculty of Informatics
• Field: Informatics
• Keywords: Distributed Verification
• Description: Foreword

Related projects

• Automated Verification of Parallel and Distributed Systems
• Integrated approach to education of PhD students in the area of parallel and distributed systems
• Techniques for automatic verification and validation of software nad hardware systems
• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems