Author of the publication

Integrating UML and B Specification Techniques.

, and . GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 641-648. Konstanz UVK-Verl.-Ges., (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Contributions for Modelling UML State-Charts in B., and . IFM, volume 2335 of Lecture Notes in Computer Science, page 109-127. Springer, (2002)Contributions for Modelling UML State-Charts in B, and . (2002)Modeling Class Operations in B: Application to UML Behavioral Diagrams., and . ASE, page 289-296. IEEE Computer Society, (2001)Integrating UML and B Specification Techniques., and . GI Jahrestagung (1), volume 157 of Schriftenreihe der Österreichischen Computer-Gesellschaft, page 641-648. Konstanz UVK-Verl.-Ges., (2001)Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B., and . APSEC, page 495-. IEEE Computer Society, (2002)Automatic Translation from UML Specifications to B.. ASE, page 436. IEEE Computer Society, (2001)Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development., and . TASE, page 293-304. IEEE Computer Society, (2007)