Industrial Projects: Revision history

23 October 2015

• curprev 11:4011:40, 23 October 2015‎ imported>Andy‎ 5,081 bytes 0‎ →‎ADVANCE EU Project
• curprev 11:3811:38, 23 October 2015‎ imported>Andy‎ 5,081 bytes +245‎ →‎Industrial Projects and Research Projects using Event-B

9 August 2012

• curprev 09:3809:38, 9 August 2012‎ imported>Sascha‎ 4,836 bytes +6‎ →‎Industrial Projects and Research Projects using Event-B
• curprev 09:3809:38, 9 August 2012‎ imported>Sascha‎ 4,830 bytes +109‎ →‎Industrial Projects and Research Projects using Event-B

11 May 2012

• curprev 13:4113:41, 11 May 2012‎ imported>WikiSysop‎ 4,721 bytes −1‎ →‎DSF Project, Japan
• curprev 13:4113:41, 11 May 2012‎ imported>WikiSysop‎ 4,722 bytes +2‎ →‎DSF Project, Japan
• curprev 13:4113:41, 11 May 2012‎ imported>WikiSysop‎ 4,720 bytes +350‎ No edit summary

3 May 2012

• curprev 08:2608:26, 3 May 2012‎ imported>Sascha‎ 4,370 bytes +375‎ →‎From non-Deploy partners

11 October 2011

• curprev 16:3616:36, 11 October 2011‎ imported>WikiSysop‎ 3,995 bytes +470‎ No edit summary

29 September 2011

• curprev 11:1811:18, 29 September 2011‎ imported>Steve‎ m 3,525 bytes +85‎ No edit summary

10 August 2011

• curprev 15:0815:08, 10 August 2011‎ imported>Sascha‎ 3,440 bytes +8‎ →‎From partners of the Deploy Project
• curprev 15:0715:07, 10 August 2011‎ imported>Sascha‎ 3,432 bytes +104‎ →‎From partners of the Deploy Project
• curprev 15:0515:05, 10 August 2011‎ imported>Sascha‎ 3,328 bytes +585‎ →‎From partners within Deploy Project

18 March 2011

• curprev 14:5114:51, 18 March 2011‎ imported>Nicolas‎ m 2,743 bytes −6‎ →‎From partners within Deploy Project
• curprev 14:2814:28, 18 March 2011‎ imported>Nicolas‎ m 2,749 bytes +87‎ →‎From partners within Deploy Project
• curprev 14:2514:25, 18 March 2011‎ imported>Tommy‎ m 2,662 bytes +150‎ No edit summary
• curprev 14:0914:09, 18 March 2011‎ imported>Nicolas‎ m 2,512 bytes +929‎ →‎Industrial Projects and Research Projects using Event-B: added Systerel

29 September 2010

• curprev 12:3212:32, 29 September 2010‎ imported>WikiSysop‎ 1,583 bytes +34‎ →‎Industrial Projects using Event-B

24 September 2010

• curprev 17:1217:12, 24 September 2010‎ imported>Steve‎ 1,549 bytes +128‎ Added personnel and grant details to XMOS project

22 September 2010

• curprev 21:1721:17, 22 September 2010‎ imported>Steve‎ 1,421 bytes +358‎ Added description of XMOS KTS project.
• curprev 20:3720:37, 22 September 2010‎ imported>Agrj‎ 1,063 bytes +330‎ →‎Industrial Projects using Event-B
• curprev 10:3610:36, 22 September 2010‎ imported>WikiSysop‎ 733 bytes +13‎ →‎Industrial Projects using Event-B
• curprev 10:3610:36, 22 September 2010‎ imported>WikiSysop‎ 720 bytes +119‎ →‎Industrial Projects using Event-B
• curprev 10:3010:30, 22 September 2010‎ imported>WikiSysop‎ 601 bytes +40‎ →‎Industrial Projects using Event-B
• curprev 10:2810:28, 22 September 2010‎ imported>WikiSysop‎ 561 bytes +561‎ New page: =Industrial Projects using Event-B= * In the [http://www.deploy-project.eu/ Deploy Project] several industrial partners are using Event-B and Rodin on deployment projects: ** Bosch are wo...