Net-Centric Computing II
Týden 9 - Specification and Verification II
slides:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/slides/PA160_Specification_and_Verification.pdf
lectures:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/recordings/PA160_9_Spec_and_Verif_4_Petri_nets.m4v
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/recordings/PA160_9_Spec_and_Verif_5_Queues.m4v
interactive session:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2021/PA160/um/recordings/PA160_-_6th_Interactive_session.m4v
Následující