Proposition d'une démarche de spécification et de vérification des systèmes complexes

Simple item page
dc.contributor.authorRahim, Messaoud
dc.date.accessioned2017-11-28T10:11:57Z
dc.date.available2017-11-28T10:11:57Z
dc.date.issued2017
dc.description120 p. : ill. ; 30 cm (+ CD-Rom)fr_FR
dc.identifier.urihttp://hdl.handle.net/123456789/5578
dc.language.isofrfr_FR
dc.subjectSystèmes complexesfr_FR
dc.subjectPétri , Réseaux defr_FR
dc.subjectSysML (informatique)fr_FR
dc.subjectMéthodes formelles (informatique)fr_FR
dc.titleProposition d'une démarche de spécification et de vérification des systèmes complexesfr_FR
dc.typeThesisfr_FR

Files

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
résumé.docx
Size:
11.12 KB
Format:
Microsoft Word XML
Download
No Thumbnail Available
Name:
TH8730.pdf
Size:
5.88 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