![]() |
||
![]() |
||
| Research | Computer Architecture and Parallel Systems | Mobility Lab | ||
The objective of this project is to improve the reliability of complex interactive systems by giving a methodology to describe the interaction between systems and operators in a formal way.
| 33 visitors in May 2012 | arnoud@science.uva.nl |