Consistency in UML and B Multi-view Specifications

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/11589976_22 ◽

2005 ◽

pp. 386-405 ◽

Cited By ~ 8

Author(s):

Dieu Donné Okalas Ossami ◽

Jean-Pierre Jacquot ◽

Jeanine Souquières

Download Full-text