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

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

Hamdani, Abdia
URI: http://repository.usthb.dz//xmlui/handle/123456789/9661
Date: 2023-05-16

Description:

81 p. : ill. ; 30 cm + (CD-Rom)

Afficher la notice complète

Fichier(s) constituant ce document

Icon
Nom: TH10220.pdf
Taille: 2.382Mo
Format: PDF
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Chercher dans le dépôt


Parcourir

Mon compte