Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants
No Thumbnail Available
Date
2007
Authors
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