Posts

page 41 of 101

tmokenc Hoshino

25. 12. 2024 15:08:35

1080×608 (32.9 kiB)
#Blue Archive

tmokenc Priklad iterativniho modelcheckingu

25. 12. 2024 15:05:56

560×333 (18.6 kiB)
#MSP

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

page 41 of 101

previous page next page