User contributions
From CERES
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 18:45, 17 January 2015 (diff | hist) . . (+16) . . DIT085 Ed 2015 Practical Phase 1
- 18:43, 17 January 2015 (diff | hist) . . (+1) . . DIT085
- 18:42, 17 January 2015 (diff | hist) . . (+36) . . DIT085
- 17:05, 17 January 2015 (diff | hist) . . (+61) . . AUTO-CAAS
- 17:04, 17 January 2015 (diff | hist) . . (0) . . N File:Auto-caas-projec-plan-public.pdf (current)
- 17:03, 17 January 2015 (diff | hist) . . (+65) . . AUTO-CAAS
- 14:03, 17 January 2015 (diff | hist) . . (-1) . . Vacancy for a Ph.D. Position in Model-Based Testing (A 5-year funded Ph.D. position in Computer Science with focus on Model-Based Testing is available within the EFFEMBAC project. Please see the [[Vacancy for Ph.D. Student MBT 2015|complete announ) (current)
- 09:44, 17 January 2015 (diff | hist) . . (+491) . . N Vacancy for a Ph.D. Position in Model-Based Testing (Created page with "{{newsTemplate |Title=Vacancy: Ph.D. Position in Model-Based Testing |Description=A 5-year funded Ph.D. position in Computer Science with focus on Model-Based Testing is avail...")
- 08:01, 17 January 2015 (diff | hist) . . (+269) . . EFFEMBAC
- 07:57, 17 January 2015 (diff | hist) . . (+2,966) . . N EFFEMBAC (Created page with "== Effective Model-Based Testing of Concurrent Systems== '''a research project funded by the [http://www.vr.se/ Swedish Research Council]''' == Summary == Testing and debug...")
- 07:51, 17 January 2015 (diff | hist) . . (-35) . . Vacancy for Ph.D. Student MBT 2015 (current)
- 07:50, 17 January 2015 (diff | hist) . . (-1) . . Vacancy for Ph.D. Student MBT 2015
- 07:50, 17 January 2015 (diff | hist) . . (+4) . . Vacancy for Ph.D. Student MBT 2015
- 07:43, 17 January 2015 (diff | hist) . . (+5,282) . . N Vacancy for Ph.D. Student MBT 2015 (Created page with "=Funded Ph.D. Position in Computer Science with focus on Model-Based Testing, Halmstad University, Sweden= ==Background== The position is funded by the EFFEMBAC (Effective ...")
- 06:26, 17 January 2015 (diff | hist) . . (+64) . . Research in Model-Based Testing and Verification
- 11:05, 13 January 2015 (diff | hist) . . (-8) . . DIT085 Ed 2015 Practical Phase 1
- 11:04, 13 January 2015 (diff | hist) . . (+250) . . DIT085 Ed 2015 Practical Phase 1
- 11:03, 13 January 2015 (diff | hist) . . (+751) . . DIT085
- 10:57, 13 January 2015 (diff | hist) . . (-148) . . DIT085 Ed 2015 Practical Phase 1
- 08:57, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 08:56, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 08:21, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 08:19, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 08:09, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 08:09, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 08:06, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 08:04, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 08:03, 13 January 2015 (diff | hist) . . (-3) . . A many-core architecture description language
- 08:03, 13 January 2015 (diff | hist) . . (+3) . . A many-core architecture description language
- 15:05, 12 January 2015 (diff | hist) . . (+759) . . DIT085 Ed 2015 Practical Phase 1
- 14:59, 12 January 2015 (diff | hist) . . (0) . . DIT085 Ed 2015 Practical Phase 1
- 14:58, 12 January 2015 (diff | hist) . . (+536) . . DIT085 Ed 2015 Practical Phase 1
- 14:52, 12 January 2015 (diff | hist) . . (+1,297) . . DIT085 Ed 2015 Practical Phase 1
- 07:51, 12 January 2015 (diff | hist) . . (+895) . . DIT085 Ed 2015 Practical Phase 1
- 04:52, 12 January 2015 (diff | hist) . . (+885) . . N DIT085 Ed 2015 Practical Phase 1 (Created page with "The first phase of this project concerns test-driven development of the kernel of our WhatsUpGU server. Before we start test-driven development, we need to fix the interface o...")
- 04:45, 12 January 2015 (diff | hist) . . (+176) . . DIT085
- 16:55, 9 January 2015 (diff | hist) . . (+6) . . Dynamic Unit Checking (current)
- 16:53, 9 January 2015 (diff | hist) . . (+148) . . Forward and Reverse Simulation
- 16:53, 9 January 2015 (diff | hist) . . (+1) . . Interactive Simulation (current)
- 16:52, 9 January 2015 (diff | hist) . . (+147) . . Interactive Simulation
- 16:49, 9 January 2015 (diff | hist) . . (+5) . . Visualizing Uncertainty (current)
- 12:48, 9 January 2015 (diff | hist) . . (+762) . . DIT085
- 10:44, 9 January 2015 (diff | hist) . . (+41) . . DIT085
- 10:41, 9 January 2015 (diff | hist) . . (-217) . . DIT085
- 09:23, 9 January 2015 (diff | hist) . . (+18) . . DIT085
- 05:01, 9 January 2015 (diff | hist) . . (+158) . . DIT085
- 04:56, 9 January 2015 (diff | hist) . . (+7) . . DIT085
- 04:55, 9 January 2015 (diff | hist) . . (+2) . . DIT085
- 04:54, 9 January 2015 (diff | hist) . . (+12) . . DIT085
- 04:53, 9 January 2015 (diff | hist) . . (+700) . . DIT085
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
