Search results

From Event-B
Jump to navigationJump to search

Create the page "Article" on this wiki! See also the search results found.

  • Introduction (How to extend Rodin Tutorial)
    For more information about extension points, please refer to this article: [http://www.eclipse.org/resources/resource.php?id=383 Getting started with ...ch allows to define preference pages (See [http://www.eclipse.org/articles/Article-Preferences/preferences.htm Preferences in the Eclipse Workbench UI]).
    5 KB (825 words) - 17:03, 16 October 2010
  • Help:Sections
    *(for an article) the [[Help:Magic words|magic word]] <tt><nowiki>__NOTOC__</nowiki></tt> (w ...about a subject, but might, when used in excess, disturb the fluency of an article.
    23 KB (3,699 words) - 14:10, 12 September 2008
  • D45 Scalability
    :*An article about Pattern Management is published on the wiki<ref>http://wiki.event-b.o :*The article about Generic Instantiation on the wiki<ref>http://wiki.event-b.org/index.p
    13 KB (1,991 words) - 20:57, 20 April 2012
  • Event-B Qualitative Probability User Guide
    ...ttps://doi.org/10.1016/j.scico.2013.08.006 SCP website] (''Please use this article as the reference for the plug-in). ...unications of the EASST'' © EASST. [http://journal.ub.tu-berlin.de/eceasst/article/view/548 EASST website]
    6 KB (749 words) - 17:54, 21 March 2018
  • Help:Tables
    ...ymbols which tend to make it easier to perceive the table structure in the article editing view compared to HTML table elements.
    10 KB (1,407 words) - 23:14, 4 July 2008
  • User:Nicolas/Collections/ADVANCE D3.4 Model Checking
    A journal version of the SEFM'13 article <ref>Sebastian Krings, Michael Leuschel, "Inferring Physical Units in B Mod
    16 KB (2,629 words) - 10:31, 25 November 2014
  • D32 Model Animation
    ...e study, which was used to evaluate the potential of our approach. In this article we describe the previous method adopted by Siemens in much more detail, as
    16 KB (2,553 words) - 15:12, 27 January 2011
  • User:Mathieu/popups.js
    // article/content is a structure-dependent thing return document.getElementById('article') ||
    267 KB (34,206 words) - 10:58, 24 June 2008
  • User:Mathieu/popup.js
    // article/content is a structure-dependent thing return document.getElementById('article') ||
    281 KB (35,750 words) - 15:33, 31 October 2008
  • D45 Prover Enhancement
    ...dicates to find "particularly interesting" counter examples (see ICLP'2011 article below<ref name="ICLP"/>).
    21 KB (3,334 words) - 21:20, 20 April 2012
  • Event Model Decomposition
    ...ition of a model is detailed in the [[#ancre_1|Event Model Decomposition]] article: the events of a model are partitioned to form the events of the sub-models
    43 KB (6,950 words) - 09:48, 27 October 2011
  • Help:Maths
    *[[w:Wikipedia:How to write a Wikipedia article on Mathematics#Typesetting_of_mathematical_formulas|Typesetting of mathemat
    65 KB (9,755 words) - 10:04, 5 September 2008

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

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’