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. PhD Thesis Université de Grenoble 1, November 2006.

Download

Download paper: (link)

Copyright notice:

Contact

Akram Idani

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)