DBLP Record 'conf/sies/BarboniNPB07'

BibTeX

@inproceedings{DBLP:conf/sies/BarboniNPB07,
  author    = {Eric Barboni and
               David Navarre and
               Philippe A. Palanque and
               Sandra Basnyat},
  title     = {A Formal Description Technique for Interactive Cockpit Applications
               Compliant with ARINC Specification 661},
  booktitle = {SIES},
  year      = {2007},
  pages     = {250-257},
  ee        = {http://dx.doi.org/10.1109/SIES.2007.4297342},
  crossref  = {DBLP:conf/sies/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sies/2007,
  title     = {IEEE Second International Symposium on Industrial Embedded
               Systems - SIES'2007, Hotel Costa da Caparica, Lisbon, Portugal,
               4-6 July 2007},
  booktitle = {SIES},
  publisher = {IEEE},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}