User contributions
From CERES
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 17:23, 28 January 2015 (diff | hist) . . (+1,777) . . HSST 2015
- 21:51, 27 January 2015 (diff | hist) . . (+3,601) . . N Phase 3: Specification and Model Checking (Created page with "==Objectives== This phase of the project is designed to apply a formal (mathematical) modeling and verification technique to a part of our ongoing case study: * apply ma...")
- 21:16, 27 January 2015 (diff | hist) . . (0) . . DIT085 Ed 2015 Practical Phase 1 (current)
- 21:12, 27 January 2015 (diff | hist) . . (+4) . . DIT085
- 21:26, 26 January 2015 (diff | hist) . . (-298) . . HSST 2015
- 20:23, 26 January 2015 (diff | hist) . . (+193) . . N Relay cards that can connect 16 different voltages. (Created page with "{{StudentProjectTemplate |Title=Reläkort |Summary=Relay board that can connect 16 different voltages. |Author=Patrik Vicente Escalante |Supervisor=Erik Hertz, |Level=Master ...") (current)
- 20:17, 26 January 2015 (diff | hist) . . (+235) . . N Booking system for charging stations for electric cars. (Created page with "{{StudentProjectTemplate |Title=Bokningssystem för laddstolpar |Summary=Booking system for charging stations for electric cars. |Author=Richard Solti and Christoffer Lindstr...") (current)
- 23:10, 25 January 2015 (diff | hist) . . (+152) . . DIT085 FAQ 2015
- 21:44, 25 January 2015 (diff | hist) . . (+2) . . DIT085 FAQ 2015
- 21:44, 25 January 2015 (diff | hist) . . (+165) . . DIT085 FAQ 2015
- 21:37, 25 January 2015 (diff | hist) . . (-1) . . m Traffic Situation Estimator for Adaptive Cruise Control (ACC) (current)
- 20:07, 25 January 2015 (diff | hist) . . (-40) . . DIT085
- 16:26, 25 January 2015 (diff | hist) . . (+1) . . DIT085
- 16:26, 25 January 2015 (diff | hist) . . (+7) . . DIT085
- 16:10, 25 January 2015 (diff | hist) . . (+52) . . Research in Model-Based Testing and Verification
- 21:36, 24 January 2015 (diff | hist) . . (+81) . . EFFEMBAC
- 13:28, 23 January 2015 (diff | hist) . . (-7) . . DIT085
- 01:56, 23 January 2015 (diff | hist) . . (+4) . . DIT085 FAQ 2015
- 01:55, 23 January 2015 (diff | hist) . . (-1) . . DIT085 FAQ 2015
- 01:29, 23 January 2015 (diff | hist) . . (+356) . . DIT085 FAQ 2015
- 21:58, 22 January 2015 (diff | hist) . . (+313) . . DIT085 FAQ 2015
- 21:39, 22 January 2015 (diff | hist) . . (+718) . . N DIT085 FAQ 2015 (Created page with "'''Q:''' Do we need to add new functionalities to make this really work? '''A:''' No! Please stick to the minimum functionality. The focus is on testing and not programming ...")
- 21:38, 22 January 2015 (diff | hist) . . (0) . . DIT085
- 21:38, 22 January 2015 (diff | hist) . . (+718) . . N DIT085 FAQ 2013 (Created page with "'''Q:''' Do we need to add new functionalities to make this really work? '''A:''' No! Please stick to the minimum functionality. The focus is on testing and not programming ...") (current)
- 21:16, 22 January 2015 (diff | hist) . . (+47) . . DIT085
- 19:58, 22 January 2015 (diff | hist) . . (+8) . . DIT085
- 19:18, 22 January 2015 (diff | hist) . . (+444) . . N A Peer-to-Peer Extension to the Acumen Modeling Language (Initial version.)
- 12:45, 22 January 2015 (diff | hist) . . (0) . . N File:DIT085 lecture1 slides 2015.pdf (current)
- 12:44, 22 January 2015 (diff | hist) . . (0) . . N File:DIT085 lecture1 handouts 2014.pdf (current)
- 12:43, 22 January 2015 (diff | hist) . . (+115) . . DIT085
- 12:16, 22 January 2015 (diff | hist) . . (-1) . . DIT085
- 12:15, 22 January 2015 (diff | hist) . . (+255) . . DIT085
- 11:11, 22 January 2015 (diff | hist) . . (0) . . DIT085
- 11:06, 22 January 2015 (diff | hist) . . (0) . . DIT085
- 10:43, 22 January 2015 (diff | hist) . . (+257) . . DIT085 Ed 2015 Practical Phase 2
- 10:31, 22 January 2015 (diff | hist) . . (+9) . . DIT085
- 10:23, 22 January 2015 (diff | hist) . . (+743) . . DIT085
- 10:12, 22 January 2015 (diff | hist) . . (+142) . . DIT085
- 02:50, 22 January 2015 (diff | hist) . . (+1,531) . . DIT085 Ed 2015 Practical Phase 2
- 22:49, 21 January 2015 (diff | hist) . . (+57) . . DIT085
- 22:27, 21 January 2015 (diff | hist) . . (+495) . . DIT085
- 21:05, 21 January 2015 (diff | hist) . . (+447) . . DIT085
- 16:26, 21 January 2015 (diff | hist) . . (0) . . Specification, Code Generation and Testing of Mobile Applications for Elderly Health (current)
- 16:25, 21 January 2015 (diff | hist) . . (+1) . . Specification, Code Generation and Testing of Mobile Applications for Elderly Health
- 17:21, 19 January 2015 (diff | hist) . . (-1) . . Design Space Exploration of Heterogeneous Manycore Architectures
- 17:18, 19 January 2015 (diff | hist) . . (+357) . . N Design Space Exploration of Heterogeneous Manycore Architectures (Created page with "{{StudentProjectTemplate |Title=Design Space Exploration of Heterogeneous Manycore Architectures |Summary=The thesis is focussed on extending a design space exploration tool n...")
- 07:25, 18 January 2015 (diff | hist) . . (+72) . . Mohammad Mousavi's Conferences
- 18:55, 17 January 2015 (diff | hist) . . (+954) . . N DIT085 Ed 2015 Practical Phase 2 (Created page with "= Objectives = The objective of phase 2 is to apply the following techniques and tools in a practical case study: * Software integration, * Integration testing, and * Measu...")
- 18:49, 17 January 2015 (diff | hist) . . (+258) . . DIT085 Ed 2015 Practical Phase 1
- 18:46, 17 January 2015 (diff | hist) . . (0) . . DIT085
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
