DSpace About DSpace Software
 

DSpace at USTHB >
Informatique >
Thèse de Doctorat >

Please use this identifier to cite or link to this item: http://hdl.handle.net/123456789/5578

Title: Proposition d'une démarche de spécification et de vérification des systèmes complexes
Authors: Rahim, Messaoud
Keywords: Systèmes complexes
Pétri , Réseaux de
SysML (informatique)
Méthodes formelles (informatique)
Issue Date: 2017
Description: 120 p. : ill. ; 30 cm (+ CD-Rom)
URI: http://hdl.handle.net/123456789/5578
Appears in Collections:Thèse de Doctorat

Files in This Item:

File Description SizeFormat
résumé.docx11.12 kBMicrosoft Word XMLView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback