EA11: Ekvivalencia ellenőrzés

Az előadás tartalma:

Ekvivalencia relációk

• Trace ekvivalencia
• Erős biszimuláció
• Gyenge biszimuláció (megfigyelési ekvivalencia)
• Mintapélda

Letöltés: 

SZVV_EA11_ekvivalencia.pdf