Akram Idani, Jean-Louis Boulanger, Laurent Philippe. A generic process and its tool support towards combining UML and B for safety critical systems. In Proceedings of 20th International Conference on Computer Applications in Industry and Engineering (CAINE'2007), Pages 185-192, USA, November 2007.
@InProceedings{IdaniCAINE07,
Author = {Idani, Akram and Boulanger, Jean-Louis and Philippe, Laurent},
Title = {A generic process and its tool support towards combining UML and B for safety critical systems},
BookTitle = {Proceedings of 20th International Conference on Computer Applications in Industry and Engineering (CAINE'2007)},
Pages = {185--192},
Publisher = {ISCA},
Address = {USA},
Month = {November},
Year = {2007}
}
Get EndNote Reference (.ref)