Reactive Systems: Modelling, Specification and Verification

Varování

Publikace nespadá pod Filozofickou fakultu, 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.