Book

Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés

E. El-achbor

Elsevier Masson

(2012), Pages 88