Search results

From Event-B
Jump to navigationJump to search
View ( | next 20) (20 | 50 | 100 | 250 | 500)
  • 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
  • *(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
  • :*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
  • ...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
  • ...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
  • 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
  • ...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
  • // article/content is a structure-dependent thing return document.getElementById('article') || ...
    267 KB (34,206 words) - 10:58, 24 June 2008
  • // article/content is a structure-dependent thing return document.getElementById('article') || ...
    281 KB (35,750 words) - 15:33, 31 October 2008
  • ...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
  • ...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
  • *[[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 ( | next 20) (20 | 50 | 100 | 250 | 500)