-
Partitioning the components of visuomotor adaptation to prism-altered distance.
International audience -
Formal approaches for performability analysis of communicating systems : an a...
We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques. We model these systems using a... -
Unified Functional Safety Assessment of Industrial Automation Systems
The IEC 61499 standard allows a model-based esign approach to build complex industrial automation systems. However, the existing design ow does not adequately address...
