Utilisation des ECATNets récursifs pour la spécification et la vérification des systèmes complexes

Utilisation des ECATNets récursifs pour la spécification et la vérification des systèmes complexes

Kheldoun, Ahmed
URI: http://hdl.handle.net/123456789/7774
Date: 2018-06-30

Description:

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

Afficher la notice complète

Fichier(s) constituant ce document

Icon
Nom: Resume.doc
Taille: 45.5Ko
Format: Microsoft Word
Voir/Ouvrir
Icon
Nom: TH9159.pdf
Taille: 5.565Mo
Format: PDF
Voir/Ouvrir

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

Chercher dans le dépôt


Parcourir

Mon compte