Milhau_2011

J. Milhau, A. Idani, R. Laleau, M. A. Labiadh, Y. Ledru, M. Frappier. Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng, 7:303-313, Décembre 2011.

Télécharger l'article

Charger l'article : Doi page

Charger l'article : Doi page

Copyright :

Contact

Akram Idani
Mohamed-Amine Labiadh
Yves Ledru

Référence BibTex

@article{Milhau_2011,
   Author = {Milhau, J. and Idani, A. and Laleau, R. and Labiadh, M. A. and Ledru, Y. and Frappier, M.},
   Title = {Combining UML, ASTD and B for the formal specification of an access control filter},
   Journal = {Innov. Syst. Softw. Eng},
   Volume = {7},
   Pages = {303--313},
   Publisher = {Springer-Verlag New York, Inc},
   Address = {Secaucus, NJ, USA},
   Month = {December},
   Year = {2011}
}

Référence EndNote [help]

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