Sémantique formelle des modèles de parallélisme orientés objets et temps réel
No Thumbnail Available
Date
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
177 p. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Langages de programmation : Sémantique, Parallélisme (informatique), Temps réel (informatique), UML (informatique), Petri, Réseaux de, Graphes, Théorie des