|
is involved in the following projects
- Hierarchical Design and Analysis of Timed Systems
- Project no: 9811-5
- Wang Yi
- Uppsala University, Informationtechnology
- Application as
pdf,
ps ,
Complement to application as
HTML, support letter 1 from Volvo Technological Development Corporation and support letter 2 from Mecel AB, ABB Automation Products.
Prolongation application 01-06-30 and support letter.
- Support: 1 PhD student for 2 years decided 98-12-09.
- Start 99-01-01 with Alexandre David as Phd student.
- Reports: at ARTES RT-grad student day 99, progress page.
Updated project plan as pdf, ps.
1-year-report 00-06-06, second-year report 01-06-30
- Local web: http://www.docs.uu.se/~yi/ARTES/UL/home.html
-
-
- RATAD,
Reliability And Timing Analysis of Distributed systems
- Hans Hansson and Christer Norström
- Mälardalen University, Computer Engineering Department, MRTC
- Application, support letter 1 from ABB Automation Products AB and support letter 2 from Datex-Ohmeda
- Comments by evaluators.
- Support: 1 PhD student for 2 years decided 00-06-16.
- Start: 2000-11-01 with Thomas Nolte as PhD student.
- Reports: First-year-report
-
Contact persons
- Ulf Hammar ulf.h.hammar@se.abb.com
- ABB Automation Products AB
- Västerås
- Project: Hierarchical Design and Analysis of Timed Systems
- Krister Hagman, krister.hagman@se.abb.com
- ABB Automation Products AB
- Västerås
- Project: RATAD,
Reliability And Timing Analysis of Distributed systems
|
