Search results

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

• Extension:GoogleSiteSearch
  ...arly seamless; go/search logic works as expected ("Go" goes directly to an article if it exists, searches otherwise. "Search" always searches.).
  259 bytes (37 words) - 09:09, 15 September 2009
• Serializing Mathematical Formulas
  This article explains how to serialize and de-serialize typed mathematical formulas, tha
  2 KB (209 words) - 11:02, 10 November 2008
• Event-B to SMT-LIB
  ...ules used in this approach were originally extracted from the [[#deharbe | article]] of David Deharbe, but some of them were fixed and some additional ones ad
  5 KB (797 words) - 10:29, 24 October 2011
• 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
• 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
• 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
• 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