idanithesis

Akram Idani. B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. Thèse de l'Université de Grenoble 1, Novembre 2006.

Télécharger l'article

Charger l'article : (link)

Copyright :

Contact

Akram Idani

Référence BibTex

@PhdThesis{idanithesis,
   Author = {Idani, Akram},
   Title = {{B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B}},
   School = {Université de Grenoble 1},
   Month = {November},
   Year = {2006}
}

Référence EndNote [help]

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