User contributions
From Event-B
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
- 06:45, 6 April 2012 (hist) (diff) m MBT plugin (→Installing) (top)
- 13:15, 4 April 2012 (hist) (diff) m MBT plugin
- 08:51, 30 March 2012 (hist) (diff) D45 Model-based testing (→Available Documentation)
- 08:05, 14 March 2012 (hist) (diff) m D45 Model-based testing (→Available Documentation)
- 11:07, 9 March 2012 (hist) (diff) Rodin Platform 2.4 External Plug-ins (→Other Update Sites)
- 11:03, 29 February 2012 (hist) (diff) m D45 Model-based testing
- 10:38, 29 February 2012 (hist) (diff) D45 Model-based testing
- 17:10, 24 February 2012 (hist) (diff) m D45 Model-based testing
- 17:09, 24 February 2012 (hist) (diff) m D45 Model-based testing
- 17:09, 24 February 2012 (hist) (diff) m D45 Model-based testing
- 12:42, 24 February 2012 (hist) (diff) m D45 Model-based testing (→Available Documentation)
- 12:41, 24 February 2012 (hist) (diff) m D45 Model-based testing (→Available Documentation)
- 12:40, 24 February 2012 (hist) (diff) m D45 Model-based testing (→Available Documentation)
- 12:19, 24 February 2012 (hist) (diff) m D45 Model-based testing (→Overview)
- 11:30, 24 February 2012 (hist) (diff) m MBT plugin (→Displaying the generated cover automaton)
- 11:29, 24 February 2012 (hist) (diff) m MBT plugin (→Displaying the generated cover automaton)
- 11:25, 24 February 2012 (hist) (diff) m MBT plugin (→Short theoretical aspects)
- 11:25, 24 February 2012 (hist) (diff) m MBT plugin
- 10:05, 24 February 2012 (hist) (diff) m D45 Introduction
- 05:55, 2 February 2012 (hist) (diff) m Rodin Platform 2.4 External Plug-ins (→Other Update Sites)
- 16:46, 26 January 2012 (hist) (diff) m Rodin Platform 2.4 External Plug-ins (→Other Update Sites)
- 19:15, 7 November 2011 (hist) (diff) m Rodin Platform 2.3 External Plug-ins (→Other Update Sites)
- 13:44, 13 October 2011 (hist) (diff) m Rodin Platform 2.3 External Plug-ins (→Other Update Sites)
- 07:18, 12 October 2011 (hist) (diff) m Rodin Plug-ins (→Experimental)
- 07:13, 12 October 2011 (hist) (diff) m Rodin Platform 2.3 External Plug-ins (→Other Update Sites)
- 20:36, 10 July 2011 (hist) (diff) m MBT plugin (→Disclaimer)
- 20:36, 10 July 2011 (hist) (diff) m MBT plugin (→Short theoretical aspects)
- 16:06, 8 July 2011 (hist) (diff) m Rodin Platform 2.2 External Plug-ins (→Other Update Sites)
- 18:34, 30 June 2011 (hist) (diff) MBT plugin (New page: {| align="right" | __TOC__ |} MBT (Model-based testing) plugin ... [TODO] ==Installing == The MBT plugin relies on Rodin release 2.0 or newer and ProB plugin 2.2 or newer. The followin...)
- 18:26, 30 June 2011 (hist) (diff) Rodin Platform 2.2 External Plug-ins (→Other Updates Sites)
- 16:13, 23 February 2011 (hist) (diff) B2Latex
- 12:43, 30 November 2010 (hist) (diff) D32 Model-based testing (→Planning)
- 12:42, 30 November 2010 (hist) (diff) D32 Model-based testing (→Choices / Decisions)
- 09:21, 29 November 2010 (hist) (diff) D32 Model-based testing (→Planning)
- 09:20, 29 November 2010 (hist) (diff) D32 Model-based testing
- 09:12, 29 November 2010 (hist) (diff) D32 Model-based testing (→Overview)
- 09:04, 29 November 2010 (hist) (diff) D32 Model-based testing (→Planning)
- 09:02, 29 November 2010 (hist) (diff) D32 Model-based testing (→Choices / Decisions)
- 08:42, 29 November 2010 (hist) (diff) D32 Model-based testing (→Choices / Decisions)
- 08:26, 29 November 2010 (hist) (diff) D32 Model-based testing (→Choices / Decisions)
- 08:22, 29 November 2010 (hist) (diff) D32 Model-based testing (→Choices/Decisions)
- 07:13, 29 November 2010 (hist) (diff) D32 Model-based testing (→Available Documentation)
- 07:13, 29 November 2010 (hist) (diff) D32 Model-based testing (→Available Documentation)
- 07:03, 29 November 2010 (hist) (diff) D32 Model-based testing (→Planning)
- 06:55, 29 November 2010 (hist) (diff) D32 Model-based testing (→Available Documentation)
- 20:25, 28 November 2010 (hist) (diff) D32 Model-based testing (→Motivations)
- 13:39, 27 November 2010 (hist) (diff) D32 Model-based testing
- 13:27, 27 November 2010 (hist) (diff) D32 Model-based testing
- 13:25, 27 November 2010 (hist) (diff) D32 Model-based testing
- 09:08, 25 November 2010 (hist) (diff) D32 Model-based testing (→Motivations)
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
