Monday, June 14, 2010
|
Morning: |
Model-Based Development and Validation of Multirobot Cooperative System |
Afternoon: |
Model-Based Development and Validation of Multirobot Cooperative System |
|
|
Tuesday, June 15, 2010
|
Morning: |
Model-Based Development and Validation of Multirobot Cooperative System |
Afternoon: |
Model-Based Development and Validation of Multirobot Cooperative System |
|
|
Wednesday, June 16, 2010
|
Morning: |
Simulation of Networked Embedded Control Systems Using TrueTime |
Afternoon: |
Simulation of Networked Embedded Control Systems Using TrueTime |
|
|
Thursday, June 17, 2010
|
Morning: |
Simulation of Networked Embedded Control Systems Using TrueTime |
Afternoon: |
Simulation of Networked Embedded Control Systems Using TrueTime |
|
|
Friday, June 18, 2010
|
Morning: |
A logical approach to modelling and analysis of resource constraints |
Afternoon: |
A logical approach to modelling and analysis of resource constraints |
|
|
Monday, June 21, 2010
|
Morning: |
Specification and verification with proof scores in CafeOBJ |
Afternoon: |
Specification and verification with proof scores in CafeOBJ |
|
|
Tuesday, June 22, 2010
|
Morning: |
Specification and verification with proof scores in CafeOBJ |
Afternoon: |
Specification and verification with proof scores in CafeOBJ |
|
|