Test et vérification de logiciel
Thema UMZT
Lec 26: CTL Introduction
★
★
★
★
☆
4/5
Lec 21: Introduction to Model Checking
★
★
★
★
☆
4/5
Vibe coding — Comment tester son application ?
★
★
★
★
☆
4/5
ML testing - random variables empirical distribution
★
★
★
★
☆
4/5
model validation
★
★
★
★
☆
4/5