Architecture de l’information

Thema UYZM

1 tuit
Lec 30: CTL Model Checking Algorithms
Sciences formelles & physiques Informatique & Cybersécurité
FR

Lec 30: CTL Model Checking Algorithms

Prof. Chandan Karfa
36 min
★ ★ ★ ★ ☆ 4/5
Model CheckingCTLLogique Temporelle