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, December 2011.

Download

Download paper: Doi page

Download paper: Doi page

Copyright notice:

Contact

Akram Idani
Mohamed-Amine Labiadh
Yves Ledru

BibTex Reference

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

EndNote Reference [help]

Get EndNote Reference (.ref)