UML et MODEL CHECKING. Magister thesis, (2009) Université de Batna 2.

No Thumbnail Available
Files
sce TIBERMACINE OKBA.pdf(1.52 MB)
Date
8/3/2016
Authors
TIBERMACINE Okba
Journal Title
Journal ISSN
Volume Title
Publisher
University of Batna 2
Abstract
Description
Keywords
Citation
URI
http://dspace.univ-batna2.dz/handle/123456789/146
Collections
Thèse de Magister