Eric Barboni, David Navarre, Philippe A. Palanque, Sandra Basnyat. A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661. In IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007. pages 250-257, IEEE, 2007. [doi]
@inproceedings{BarboniNPB07,
title = {A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661},
author = {Eric Barboni and David Navarre and Philippe A. Palanque and Sandra Basnyat},
year = {2007},
doi = {10.1109/SIES.2007.4297342},
url = {http://dx.doi.org/10.1109/SIES.2007.4297342},
researchr = {https://researchr.org/publication/BarboniNPB07},
cites = {0},
citedby = {0},
pages = {250-257},
booktitle = {IEEE Second International Symposium on Industrial Embedded Systems - SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, 4-6 July 2007},
publisher = {IEEE},
}