Modal Transition Systems: Extensions and Analysis
Tato dizertační práce studuje specifikační formalizmus zvaný modální přechodové systémy (MTS). Zavádíme několik rozšíření MTS a rozebíráme jejich vzájemné vztahy a modelovací sílu. Zaprvé rozšiřujeme modality MTS, zadruhé uvažujeme rozšíření s prvky času a ceny a zatřetí zavádíme různé třídy MTS s n...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2014
|
| Témata: | |
| On-line přístup: | http://is.muni.cz/th/139914/fi_d/ |
Pro rezervaci/výpůjčku fyzického dokumentu se přihlaste.
| Popis | Stav | Knihovna | Sbírka | Signatura | Poznámky | Čárový kód |
|---|---|---|---|---|---|---|
|
Dostupné Týdenní |
Fakulta informatiky | sklad | Diz. práce 2014 | 42005D2644 |