Reactive Systems: Modelling, Specification and Verification

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	Reaktivní Systémy: Modelování, Specifikace a Verifikace
Autoři	ACETO Luca INGOLFSDOTTIR Anna LARSEN Kim Guldstrand SRBA Jiří
Rok publikování	2007
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Kniha popisuje teorii formalních systémů pro popis a verifikaci reaktivních systémů. Jedná se o vyvážený úvod do danné problematiky, určený jak pro studenty jako studijní materiál tak i pro vědce pracující v této oblasti.
Související projekty:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy