Search results
From Event-B
Jump to navigationJump to search
- 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