Informace o publikaci
Reactive Systems: Modelling, Specification and Verification
| Název česky | Reaktivní Systémy: Modelování, Specifikace a Verifikace |
|---|---|
| Autoři | |
| Rok publikování | 2007 |
| Druh | Odborná kniha |
| Fakulta / Pracoviště MU | |
| 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: |