Special Issue on Parallel and Distributed Verification - Foreword

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
Citace
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