Browsing by Subject Système réversible, Vérification formelle, Réseaux de Pétri récursives.
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2023 | Conception et implémentation d’un simulateur pour les réseaux de Pétri réversibles | Keita, Namory |