Spécification et vérification des propriétés temporelles qualitatives et quantitatives des systèmes temps réel complexes
No Thumbnail Available
Files
Date
2023-05-16
Authors
Hamdani, Abdia
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
81 p. : ill. ; 30 cm + (CD-Rom)
Keywords
Temps réel (informatique) ; Petri, Réseaux de ; Flux de travail