Senter Project 'ORKEST'
Onderzoek naar de
Randvoorwaarden voor de Konstruktie van Embedded
SysTemen.
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.
Researchers:
A. Visser, L.O.H. Hertzberger
Cooperations:
Hollandse Signaalapparaten B.V.,
Technical University Eindhoven,
University of Amsterdam,
University of Groningen