Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs

MARTINIE, C. ; PALANQUE, Philippe ; BARBONI, Eric ; WINCKLER, M. ; LANZI, P. . Formal Tasks and Systems Models as a Tool for Specifying and Assessing Automation Designs. In: 1st International Conference on Application and Theory of Automation in Command and Control Systems. (ATACCS2011), 2011, Barcelona, Spain. 1st International Conference on Application and Theory of Automation in Command and Control Systems. (ATACCS2011). Toulouse, France: IRIT Press, 2011. p. 50-59.

2011