EA18: Sztochasztikus Petri hálók
Semester:
2013. tavasz
- Alapszintű formalizmus: Folytonos idejű Markov láncok (CTMC)
- Modellezés: Sztochasztikus Petri hálók (SPN, GSPN, DSPN)
- Követelmény formalizálás: Sztochasztikus temporális logikák (CSL)
Letöltés:
