Search results

From Event-B
Jump to navigationJump to search
  • ...submit them again for educative or promotional purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published an
    7 KB (1,003 words) - 20:08, 12 October 2009
  • .... ''Please contributes informations about your own development to keep the community informed''
    12 KB (1,869 words) - 16:35, 18 March 2014
  • ...gration plugin, while increasing the visibility of ProR in the Open Source community. The move of ProR from the University of Düsseldorf to the Eclipse Founda ...lipse Foundation Project''' - we were actively establishing an open source community around ProR. By recruiting engaged partners early on, development progress
    35 KB (5,228 words) - 10:12, 23 April 2012
  • The results of this work have been dicussed in the Rodin community and one of the proposed solution (a blockparser) has been selected to be im
    20 KB (3,030 words) - 13:18, 18 July 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)