Search results

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

Page title matches

• User:Nicolas
  Nicolas Beauger ([[Systerel]], France)
  38 bytes (4 words) - 09:58, 4 March 2009
• User:Nicolas/Collections/ADVANCE D3.4 Introduction
  2 KB (296 words) - 14:27, 6 November 2014
• User:Nicolas/Collections/ADVANCE Deliverable D3.4
  ...colas/Collections/ADVANCE D3.4 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :[[User:Nicolas/Collections/ADVANCE D3.4 General Platform Maintenance|General Platform Main
  5 KB (780 words) - 14:57, 6 October 2014
• User:Nicolas/Collections/ADVANCE D3.4 Language extension
  5 KB (713 words) - 15:34, 19 November 2014
• User:Nicolas/Collections/ADVANCE D3.4 Model Checking
  16 KB (2,629 words) - 10:31, 25 November 2014
• User:Nicolas/Collections/ADVANCE D3.4 General Platform Maintenance
  13 KB (1,966 words) - 09:54, 25 November 2014
• User:Nicolas/Collections/ADVANCE D3.4 Improvement of automated proof
  4 KB (639 words) - 16:46, 21 November 2014
• User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition
  2 KB (346 words) - 07:37, 25 November 2014

Page text matches

• User:Nicolas
  Nicolas Beauger ([[Systerel]], France)
  38 bytes (4 words) - 09:58, 4 March 2009
• Systerel
  * [[User:Nicolas|Nicolas Beauger]]
  541 bytes (71 words) - 15:31, 21 November 2014
• User:Nicolas/Collections/ADVANCE Deliverable D3.4
  ...colas/Collections/ADVANCE D3.4 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :[[User:Nicolas/Collections/ADVANCE D3.4 General Platform Maintenance|General Platform Main
  5 KB (780 words) - 14:57, 6 October 2014
• ADVANCE Deliverable D3.3
  :[[ADVANCE D3.3 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :* Core Rodin platform (Laurent Voisin/Nicolas Beauger)
  6 KB (830 words) - 13:21, 7 October 2013
• User:Tommy/Collections/Deploy Deliverable D45
  :*Improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller) :*Advanced Preferences for Auto-tactics (Nicolas Beauger)
  5 KB (732 words) - 08:31, 14 February 2012
• Rodin Workshop 2012
  ...f tactics creation/use will be provided by Jean-Raymond Abrial assisted by Nicolas Beauger and Thomas Muller.
  4 KB (530 words) - 15:34, 23 March 2012
• Rodin Platform 2.2 External Plug-ins
  ...le </span>|| 2.2.x || 13th July 2011|| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] || The versio
  7 KB (942 words) - 14:03, 3 October 2011
• User:Pascal/Collections/Deploy Deliverable D23
  :[[D23 Improvements to Existing Provers|Improvements to Existing Provers]] (Nicolas Beauger)
  4 KB (576 words) - 16:01, 26 January 2010
• Rodin Platform 2.3 External Plug-ins
  ...</span>|| 2.3.x || 2nd December 2011|| [mailto:nicolas.beauger@systerel.fr Nicolas Beauger] or [mailto:thomas.muller@systerel.fr Thomas Muller] ||
  8 KB (1,053 words) - 09:10, 4 January 2012
• User:Tommy/Collections/Deploy Deliverable D32
  :* Core (Nicolas Beauger)
  5 KB (699 words) - 14:52, 30 November 2010