View in EDS

Dynamic graphical UML views from formal B specifications.

Saved in:
Bibliographic Details
Title: Dynamic graphical UML views from formal B specifications.
Authors: Idani, Akram, Ledru, Yves
Source: Information & Software Technology; March 2006, Vol. 48 Issue 3, p154-169, 16p
Database: Applied Science & Technology Source
Be the first to leave a comment!
You must be logged in first