Une approche multi-formalismes pour la spécification et la vérification des systèmes communicants

Simple item page
dc.contributor.authorBouabana, Thouraya épse. Tebibel
dc.date.accessioned2014-12-01T08:40:05Z
dc.date.available2014-12-01T08:40:05Z
dc.date.issued2007
dc.description293 p. : ill. ; 30 cm. (+ CD-Rom)fr_FR
dc.identifier.urihttp://hdl.handle.net/123456789/698
dc.language.isofrfr_FR
dc.subjectUML (informatique)fr_FR
dc.subjectVérification (logique)fr_FR
dc.subjectPétri, Réseaux defr_FR
dc.titleUne approche multi-formalismes pour la spécification et la vérification des systèmes communicantsfr_FR
dc.typeThesisfr_FR

Files

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
résumé.pdf
Size:
84.52 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
TH4829.pdf
Size:
3.29 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