![]() |
InformatiqueIntelligence Artificielle |
![]() |
Vérification de systèmes parallèles et logique temporelle
Engagement pédagogique
Documentation
Méthode des invariants: transparents
PDF.