Difference between revisions of "File:Rodin Workshop 16 July 2009 2.pdf"

From Event-B
Jump to navigationJump to search
imported>Maryah
(The presentation is about extending the UML-B language and tool to support class and state machine refinement.)
 
imported>Maryah
(uploaded a new version of "Image:Rodin Workshop 16 July 2009 2.pdf": The presentation is about the extension made to UML-B to support class and state machine refinement.)
(No difference)

Revision as of 09:54, 24 July 2009

The presentation is about extending the UML-B language and tool to support class and state machine refinement.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current20:50, 30 April 2020 (492 KB)Maintenance script (talk | contribs)
  • You cannot overwrite this file.

There are no pages that use this file.