EA09: Sztochasztikus temporális logikák

Az előadás tartalma:

• Teljesítmény és szolgáltatásbiztonság jellemzők formalizálása és ellenőrzése
• Continuous Stochastic Logic

Letöltés: 

SZVV_EA09_csl.pdf