Proposition d'une démarche de spécification et de vérification des systèmes complexes
No Thumbnail Available
Date
2017
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
120 p. : ill. ; 30 cm (+ CD-Rom)
Keywords
Systèmes complexes, Pétri , Réseaux de, SysML (informatique), Méthodes formelles (informatique)