Vérification distribuée des systèmes complexes.

Simple item page
dc.contributor.authorBoukala, Mohamed Cherif
dc.date.accessioned2014-11-30T12:59:20Z
dc.date.available2014-11-30T12:59:20Z
dc.date.issued2012
dc.description104 p. : ill. ; 30 cm. (+ CD-Rom)fr_FR
dc.identifier.urihttp://hdl.handle.net/123456789/671
dc.language.isofrfr_FR
dc.subjectEspace des états, Méthodes de l'fr_FR
dc.subjectPetri, Réseaux defr_FR
dc.subjectThéorèmes : Démonstration automatiquefr_FR
dc.subjectLogique temporellefr_FR
dc.subjectSystèmes, Analyse defr_FR
dc.titleVérification distribuée des systèmes complexes.fr_FR
dc.typeThesisfr_FR

Files

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
Résumé de thèse.doc
Size:
16 KB
Format:
Microsoft Word
Download
No Thumbnail Available
Name:
TH7119.pdf
Size:
728.68 KB
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