Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants
No Thumbnail Available
Date
2007
Authors
Bouabana, Thouraya épse. Tebibel
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
293 p. : ill. ; 30 cm. (+ CD-Rom)
Keywords
UML (informatique), Vérification (logique), Pétri, Réseaux de