Posts

page 23 of 83

tmokenc Iterativni model checking

25. 12. 2024 15:05:26

508×348 (15.2 kiB)
#MSP

tmokenc Model checking

25. 12. 2024 15:04:20

558×342 (31.5 kiB)
#MSP

tmokenc Linearni programovani

25. 12. 2024 15:03:16

571×797 (46.0 kiB)
#MSP

byl na pulsemce, mozna bude jeste na semestralce

tmokenc MDP

25. 12. 2024 14:09:43

558×800 (56.8 kiB)
#MSP

Tyto definice jsou vzdy na zkousce

tmokenc Steady state analyza

25. 12. 2024 14:06:31

599×800 (47.5 kiB)
#IAM #MSP

tmokenc Expected time

25. 12. 2024 14:05:52

594×837 (49.1 kiB)
#IAM #MSP

tmokenc Reachability

25. 12. 2024 14:05:04

593×391 (20.4 kiB)
#IAM #MSP

Nejprve musime odstranit vsechny unreachable stavy

tmokenc Tranzientni analyza

25. 12. 2024 14:03:57

587×871 (50.5 kiB)
#IAM #MSP

tmokenc Markovske retezec

25. 12. 2024 14:02:32

594×847 (39.0 kiB)
#IAM #IMS #MSP

tmokenc Dulezite je, ze je memorylessness

tmokenc Podminena pravdepodobnost

25. 12. 2024 14:00:47

589×395 (23.6 kiB)
#IPT #MSP

page 23 of 83

previous page next page