Célia Martinie, Philippe A. Palanque, Eric Barboni, Marco Winckler, Martina Ragosta, Alberto Pasquini, Paola Lanzi. Formal tasks and systems models as a tool for specifying and assessing automation designs. In Francisco Javier Saez, editor, 1st International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '11, Barcelona, Spain, May 26-27, 2011. pages 50-59, IRIT Press Toulouse, France / ACM DL, 2011. [doi]
@inproceedings{MartiniePBWRPL11,
title = {Formal tasks and systems models as a tool for specifying and assessing automation designs},
author = {Célia Martinie and Philippe A. Palanque and Eric Barboni and Marco Winckler and Martina Ragosta and Alberto Pasquini and Paola Lanzi},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=2248474},
researchr = {https://researchr.org/publication/MartiniePBWRPL11},
cites = {0},
citedby = {0},
pages = {50-59},
booktitle = {1st International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '11, Barcelona, Spain, May 26-27, 2011},
editor = {Francisco Javier Saez},
publisher = {IRIT Press Toulouse, France / ACM DL},
isbn = {978-1-4503-1506-7},
}