A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.

Akram Idani, Jean-Louis Boulanger, Laurent Philippe

Browse the full CAINE paper archive.