Formális módszerek - Segédanyagok
Title | Egyedi szöveg |
---|---|
EA07: Modellezési mintapéldák | |
HF: Modellellenőrzési példák |
A példák leírással és modellekkel együtt tölthetők le. |
EA08: Petri hálók: alapelemek és kiterjesztések |
PetriDotNet eszköz és dokumentáció: ld. a szorgalmi feladat web lapján. |
EA09: Petri hálók dinamikus tulajdonságai. Redukciók. | |
EA10: Petri hálók strukturális tulajdonságai. Hierarchikus Petri hálók. | |
EA11: Színezett Petri hálók | |
EA12: Sztochasztikus Petri hálók | |
ZH2: Segédanyagok |
Title | Egyedi szöveg |
---|---|
EA00: Tárgyadatok | |
EA01: A formális módszerek szerepe. Alapszintű formalizmusok. | |
EA02: Követelmények formalizálása temporális logikákkal | |
EA03: Modellellenőrzés | |
EA04: Hatékony technikák modellellenőrzéshez | |
EA05 Állapottérképek | |
ZH1: Segédanyagok | |
EA06: Szoftverek modellellenőrzése. Modellezési mintapélda. | |
EA07: Modellezési mintapéldák | |
HF: Modellellenőrzési példák |
A példák leírással és modellekkel együtt tölthetők le. |
EA08: Petri hálók: alapelemek és kiterjesztések |
PetriDotNet eszköz és dokumentáció: ld. a szorgalmi feladat web lapján. |
EA09: Petri hálók dinamikus tulajdonságai. Redukciók. | |
EA10: Petri hálók strukturális tulajdonságai. Hierarchikus Petri hálók. | |
EA11: Színezett Petri hálók | |
EA12: Sztochasztikus Petri hálók | |
ZH2: Segédanyagok |
Title | Egyedi szöveg |
---|---|
EA00: Tárgyadatok |