T-07:vasco-NS

Nicolas Stouls. Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Décembre 2007.

Télécharger l'article

Charger l'article : (link)

Copyright :

Référence BibTex

@PhdThesis{T-07:vasco-NS,
   Author = {Stouls, Nicolas},
   Title = {{Systèmes de transitions symboliques et hiérarchiques pour       la conception et la validation de modèles B raffinés}},
   School = {Institut Polytechnique de Grenoble},
   Address = {Grenoble, France},
   Month = {December},
   Year = {2007}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)