Formális módszerek - Segédanyagok
Title | Egyedi szöveg |
---|---|
EA09: Állapottérképek |
|
ZH1: Segédanyagok | |
GY01: Modellellenőrzési példák |
A példák leírással és modellekkel együtt tölthetők le (ZIP fájlok):
|
EA10: Petri háló alapfogalmak, kiterjesztések |
|
EA11: Petri hálók dinamikus tulajdonságai |
|
EA12: Modellezés és szimuláció Petri hálókkal |
|
EA13: Redukciós módszerek, Petri háló alosztályok |
|
EA14: Petri hálók strukturális tulajdonságai |
|
EA15: Színezett Petri hálók (1. rész) |
|
EA16: Színezett Petri hálók (2. rész) |
|
EA17: Adatfolyam hálók, modellfinomítás. Hierarchikus Petri hálók |
|
ZH2: Segédanyagok | |
EA18: Sztochasztikus Petri hálók |
|
Title | Egyedi szöveg |
---|---|
T01: A formális módszerek szerepe | |
T02: Alapszintű formalizmusok | |
T03: Lineáris idejű temporális logikák | |
T04: Elágazó idejű temporális logikák | |
T05: A modellellenőrzés módszerének alapötlete | |
T06: Állapottérképek | |
T07: Petri-hálók: alapfogalmak, kiterjesztések |
Témakörök:
|
T08: Petri-hálók tulajdonságai |
Témakörök:
|
T09: Petri-háló alapú modellek készítése |
Témakörök:
|
T10: Magas szintű hálók |
Témakörök:
|
T11: Modellezés színezett Petri-hálókkal |
Témakörök:
|
ZH1: Segédanyagok |