Akram Idani, Jean-Louis Boulanger, Laurent Philippe 0002. A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. In Gongzhu Hu, editor, Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, CAINE 2007, November 7-9, 2007, San Francisco, California, USA. pages 185-192, ISCA, 2007.
@inproceedings{IdaniBP07,
title = {A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems},
author = {Akram Idani and Jean-Louis Boulanger and Laurent Philippe 0002},
year = {2007},
tags = {UML},
researchr = {https://researchr.org/publication/IdaniBP07},
cites = {0},
citedby = {0},
pages = {185-192},
booktitle = {Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, CAINE 2007, November 7-9, 2007, San Francisco, California, USA},
editor = {Gongzhu Hu},
publisher = {ISCA},
isbn = {978-1-880843-65-9},
}