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

Simple item page
dc.contributor.authorHamdani, Abdia
dc.date.accessioned2024-02-04T13:57:03Z
dc.date.available2024-02-04T13:57:03Z
dc.date.issued2023-05-16
dc.description81 p. : ill. ; 30 cm + (CD-Rom)en_US
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/9661
dc.language.isofren_US
dc.subjectTemps réel (informatique) ; Petri, Réseaux de ; Flux de travailen_US
dc.titleSpécification et vérification des propriétés temporelles qualitatives et quantitatives des systèmes temps réel complexesen_US
dc.typeThesisen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH10220.pdf
Size:
2.38 MB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Théses de Doctorat