[IEEE 2012 Seventh International Conference on Digital Information Management (ICDIM) - Macau, Macao (2012.08.22-2012.08.24)] Seventh International Conference on Digital Information Management (ICDIM 2012) - An automatic generation approach of B Specifications From UML Diagrams
Rehab, Seidali, Kerkouche, Elhillali, Chaoui, AllaouaYear:
2012
Language:
english
DOI:
10.1109/ICDIM.2012.6360116
File:
PDF, 573 KB
english, 2012