Spécification et vérification des propriétés temporelles qualitatives et quantitatives des systèmes temps réel complexes

dc.contributor.author	Hamdani, Abdia
dc.date.accessioned	2024-02-04T13:57:03Z
dc.date.available	2024-02-04T13:57:03Z
dc.date.issued	2023-05-16
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/9661
dc.description	81 p. : ill. ; 30 cm + (CD-Rom)	en_US
dc.language.iso	fr	en_US
dc.subject	Temps réel (informatique) ; Petri, Réseaux de ; Flux de travail	en_US
dc.title	Spécification et vérification des propriétés temporelles qualitatives et quantitatives des systèmes temps réel complexes	en_US
dc.type	Thesis	en_US