Search results

From Event-B
Jump to navigationJump to search
  • |title = Community |content = Main Page/Community
    2 KB (194 words) - 09:48, 19 May 2020
  • [[Category:Community]]
    2 KB (223 words) - 09:23, 30 May 2013
  • ...s a gathering of some modeling feedbacks, which may be useful to the whole community. They come from:
    1 KB (153 words) - 13:44, 28 October 2008
  • ...otential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.
    2 KB (303 words) - 14:32, 19 May 2020
  • users and developers of the Rodin toolset and to foster a broader community
    2 KB (294 words) - 09:58, 16 October 2017
  • users and developers of the Rodin toolset and to foster a broader community
    2 KB (356 words) - 12:46, 24 May 2018
  • users and developers of the Rodin toolset and to foster a broader community
    3 KB (373 words) - 09:13, 18 January 2024
  • This page explains how to share your theories with the community and how to get theories developed by other people.
    2 KB (399 words) - 14:56, 14 June 2021
  • users and developers of the Rodin toolset and to foster a broader community
    3 KB (375 words) - 15:36, 26 May 2023
  • * First of all: get feedback on your proposal from the community. The devel [[Mailing lists|mailing list]] is a good channel for that. Ask a * We want you to work in the open, with our community. Get on the [[Mailing lists|mailing lists]], both to ask for help and to pr
    10 KB (1,629 words) - 12:50, 12 August 2009
  • ...otential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.
    4 KB (530 words) - 15:34, 23 March 2012
  • ...rting mathematical and proof extensions has been a longing for the Event-B community for considerable time. Serious considerations have been made to ensure any
    4 KB (642 words) - 08:33, 29 June 2012
  • ...rting mathematical and proof extensions has been a longing for the Event-B community for considerable time. Serious considerations have been made to ensure any
    4 KB (648 words) - 14:52, 7 October 2013
  • ...otential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop provided an op
    5 KB (766 words) - 09:59, 21 September 2011
  • users and developers of the Rodin toolset and to foster a broader community
    4 KB (595 words) - 09:41, 29 June 2021
  • toolset and to foster a broader community of Rodin users and developers.
    4 KB (521 words) - 13:15, 13 June 2013
  • ...edback allowed us to greatly improve Rodin for the great good of the whole community. Ken was also the author of the [https://www3.hhu.de/stups/handbook/rodin/c
    8 KB (1,249 words) - 13:09, 11 September 2020
  • === What are the main community channels? ===
    15 KB (2,372 words) - 16:29, 19 May 2015
  • users and developers of the Rodin toolset and to foster a broader community
    5 KB (664 words) - 18:29, 6 June 2016
  • toolset and to foster a broader community of Rodin users and developers.
    8 KB (1,073 words) - 06:13, 24 June 2014

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