Vérification modulaire des systèmes probabilistes complexes

dc.contributor.author	Bouchekir, Redouane
dc.date.accessioned	2021-11-10T10:40:52Z
dc.date.available	2021-11-10T10:40:52Z
dc.date.issued	2021-02-17
dc.identifier.uri	http://repository.usthb.dz//xmlui/handle/123456789/8836
dc.description	146 p. : ill. ; 30 cm (+ CD-Rom)	en_US
dc.language.iso	fr	en_US
dc.subject	Flux de travail ; Markov, Processus de ; Algorithmes ; Probabilités, Théorie des	en_US
dc.title	Vérification modulaire des systèmes probabilistes complexes	en_US
dc.type	Thesis	en_US