User contributions
From CERES
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 18:23, 28 January 2015 (diff | hist) . . (+1,777) . . HSST 2015
- 22: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...")
- 22:16, 27 January 2015 (diff | hist) . . (0) . . DIT085 Ed 2015 Practical Phase 1 (current)
- 22:12, 27 January 2015 (diff | hist) . . (+4) . . DIT085
- 22:26, 26 January 2015 (diff | hist) . . (-298) . . HSST 2015
- 21: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)
- 21: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)
- 00:10, 26 January 2015 (diff | hist) . . (+152) . . DIT085 FAQ 2015
- 22:44, 25 January 2015 (diff | hist) . . (+2) . . DIT085 FAQ 2015
- 22:44, 25 January 2015 (diff | hist) . . (+165) . . DIT085 FAQ 2015
- 22:37, 25 January 2015 (diff | hist) . . (-1) . . m Traffic Situation Estimator for Adaptive Cruise Control (ACC) (current)
- 21:07, 25 January 2015 (diff | hist) . . (-40) . . DIT085
- 17:26, 25 January 2015 (diff | hist) . . (+1) . . DIT085
- 17:26, 25 January 2015 (diff | hist) . . (+7) . . DIT085
- 17:10, 25 January 2015 (diff | hist) . . (+52) . . Research in Model-Based Testing and Verification
- 22:36, 24 January 2015 (diff | hist) . . (+81) . . EFFEMBAC
- 14:28, 23 January 2015 (diff | hist) . . (-7) . . DIT085
- 02:56, 23 January 2015 (diff | hist) . . (+4) . . DIT085 FAQ 2015
- 02:55, 23 January 2015 (diff | hist) . . (-1) . . DIT085 FAQ 2015
- 02:29, 23 January 2015 (diff | hist) . . (+356) . . DIT085 FAQ 2015
- 22:58, 22 January 2015 (diff | hist) . . (+313) . . DIT085 FAQ 2015
- 22: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 ...")
- 22:38, 22 January 2015 (diff | hist) . . (0) . . DIT085
- 22: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)
- 22:16, 22 January 2015 (diff | hist) . . (+47) . . DIT085
- 20:58, 22 January 2015 (diff | hist) . . (+8) . . DIT085
- 20:18, 22 January 2015 (diff | hist) . . (+444) . . N A Peer-to-Peer Extension to the Acumen Modeling Language (Initial version.)
- 13:45, 22 January 2015 (diff | hist) . . (0) . . N File:DIT085 lecture1 slides 2015.pdf (current)
- 13:44, 22 January 2015 (diff | hist) . . (0) . . N File:DIT085 lecture1 handouts 2014.pdf (current)
- 13:43, 22 January 2015 (diff | hist) . . (+115) . . DIT085
- 13:16, 22 January 2015 (diff | hist) . . (-1) . . DIT085
- 13:15, 22 January 2015 (diff | hist) . . (+255) . . DIT085
- 12:11, 22 January 2015 (diff | hist) . . (0) . . DIT085
- 12:06, 22 January 2015 (diff | hist) . . (0) . . DIT085
- 11:43, 22 January 2015 (diff | hist) . . (+257) . . DIT085 Ed 2015 Practical Phase 2
- 11:31, 22 January 2015 (diff | hist) . . (+9) . . DIT085
- 11:23, 22 January 2015 (diff | hist) . . (+743) . . DIT085
- 11:12, 22 January 2015 (diff | hist) . . (+142) . . DIT085
- 03:50, 22 January 2015 (diff | hist) . . (+1,531) . . DIT085 Ed 2015 Practical Phase 2
- 23:49, 21 January 2015 (diff | hist) . . (+57) . . DIT085
- 23:27, 21 January 2015 (diff | hist) . . (+495) . . DIT085
- 22:05, 21 January 2015 (diff | hist) . . (+447) . . DIT085
- 17:26, 21 January 2015 (diff | hist) . . (0) . . Specification, Code Generation and Testing of Mobile Applications for Elderly Health (current)
- 17:25, 21 January 2015 (diff | hist) . . (+1) . . Specification, Code Generation and Testing of Mobile Applications for Elderly Health
- 18:21, 19 January 2015 (diff | hist) . . (-1) . . Design Space Exploration of Heterogeneous Manycore Architectures
- 18: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...")
- 08:25, 18 January 2015 (diff | hist) . . (+72) . . Mohammad Mousavi's Conferences
- 19: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...")
- 19:49, 17 January 2015 (diff | hist) . . (+258) . . DIT085 Ed 2015 Practical Phase 1
- 19:46, 17 January 2015 (diff | hist) . . (0) . . DIT085
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
