Special Issue on Parallel and Distributed Verification - Foreword

• Název česky: Specialni cislo o paralelni a distribuovane verifikaci - uvod
• Autoři: BRIM Luboš; LEUCKER Martin
• Rok publikování: 2006
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Formal Methods in System Design
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: Distributed Verification
• Popis: Uvod

Související projekty

• Automatizovaná verifikace paralelních a distribuovaných systémů
• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy