Search results

From Event-B
Jump to navigationJump to search
  • The following pages give useful information about the Rodin platform releases: Special efforts will be made on the following topics, which are requested by all us
    7 KB (963 words) - 11:30, 27 January 2010
  • The following pages give useful information about the Rodin platform releases: ...lities leads to users' disappointment or can render the platform unusable. Special efforts will be made to identify the source of incompatibilities among plug
    9 KB (1,423 words) - 16:28, 14 November 2011
  • ** When inserting a template the special editing mode for the template is left to quickly, i.e., without user intera ** Text editor's preference pages now show up in the preference entry of the editor's context menu.
    6 KB (800 words) - 08:50, 19 August 2014
  • ...t<ref name="camille-arch-tech-report">http://cobra.cs.uni-duesseldorf.de/w/Special:Publication/Weigelt2012</ref> that analyzes the needs of the users and sugg :Two documentation pages have been created for the Rodin Editor:
    13 KB (1,991 words) - 20:57, 20 April 2012
  • The release note pages give useful information about the Rodin platform releases<ref>http://wiki.e ...ities have been identified, the concerned developing counterparts assigned special tasks and coordinated to solve issues as soon as possible. Incompatibilitie
    35 KB (5,228 words) - 10:12, 23 April 2012
  • ..., Automated Property Verification for Large Scale B Models, to appear in a special issue of FM'2009 in Formal Aspects of Computing, Springer-Verlag</ref> and * when printed in 9-point Courier ASCII the formula takes 32 A4 pages (the disjunction of the guards starts at page 6)
    16 KB (2,553 words) - 15:12, 27 January 2011
  • ...ry'' class which triggers the EMF generator to provide the collection as a special kind of list that can be accessed also as a map. If persistence is required The following pages contain a list of tasks for the development and use of the EMF framework:
    26 KB (3,961 words) - 13:04, 19 May 2020