Search results

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

• Rodin Platform 3.0.0 External Plug-ins
  ...ble</span> || 3.0.x || || [mailto:ladenberger@cs.uni-duesseldorf.de Lukas Ladenberger] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web
  13 KB (1,415 words) - 07:56, 28 May 2015
• ADVANCE Deliverable D3.3
  :* ProR (Michael Jastram/Lukas Ladenberger)
  6 KB (830 words) - 13:21, 7 October 2013
• Rodin Platform 3.1.0 External Plug-ins
  ...|| 13th January 2015 || [mailto:ladenberger@cs.uni-duesseldorf.de Lukas Ladenberger] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web
  13 KB (1,452 words) - 09:38, 18 June 2015
• Rodin Platform 3.2.0 External Plug-ins
  ...|| 13th January 2015 || [mailto:ladenberger@cs.uni-duesseldorf.de Lukas Ladenberger] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web
  13 KB (1,514 words) - 14:38, 6 July 2017
• Rodin Platform 3.3.0 External Plug-ins
  ...|| 13th January 2015 || [mailto:ladenberger@cs.uni-duesseldorf.de Lukas Ladenberger] || Update site: <tt>http://update.formalmind.com/rodin</tt><br>Project web
  13 KB (1,514 words) - 07:16, 2 September 2017
• D32 Model Animation
  ...udio, Master's thesis. University of Düsseldorf. 2010</ref> and <ref>Lukas Ladenberger, Jens Bendisposto, Michael Leuschel, Visualising Event-B models with B-Moti
  16 KB (2,553 words) - 15:12, 27 January 2011
• Documentation Overhaul DoW
  * '''Lukas Ladenberger''' - representing an academic partner (UDUS)
  9 KB (1,421 words) - 12:41, 8 December 2011
• ADVANCE D3.3 General Platform Maintenance
  The ProR/Rodin integration plugin is developed and maintained by Lukas Ladenberger and Michael Jastram at the University of Duesseldorf. ProR is a tool for wo
  16 KB (2,554 words) - 14:05, 8 October 2013
• D23 ProB
  ...www.stups.uni-duesseldorf.de/~leuschel/publication_detail.php?id=258 Lukas Ladenberger, Jens Bendisposto, Michael Leuschel. Visualising Event-B models with B-Moti
  17 KB (2,580 words) - 15:55, 28 January 2010
• ADVANCE D3.2 General Platform Maintenance
  The Rodin/ProR integration plugin is developed and maintained by Lukas Ladenberger and Michael Jastram at the University of Duesseldorf. ProR is a tool for wo
  20 KB (3,030 words) - 13:18, 18 July 2012
• D45 General Platform Maintenance
  ...wo from the Rodin project, namely Michael Jastram (Project Lead) and Lukas Ladenberger.
  35 KB (5,228 words) - 10:12, 23 April 2012