Sémantique et validation d'un modèle basé sur les RdPT pour la spécification et l'analyse des systèmes temps réel complexes
No Thumbnail Available
Date
2007
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
129 p. ; 30 cm. (+ CD-Rom)
Keywords
Petri, Réseaux de, Temps réel (informatique), Multimédias interactifs