DBLP Record 'conf/sigsoft/BanciFGL07'

BibTeX

@inproceedings{DBLP:conf/sigsoft/BanciFGL07,
  author    = {Michele Banci and
               Alessandro Fantechi and
               Stefania Gnesi and
               Giovanni Lombardi},
  title     = {Experimenting with diversity in the model driven development
               of a railway signaling system},
  booktitle = {EFTS},
  year      = {2007},
  pages     = {5},
  ee        = {http://doi.acm.org/10.1145/1316550.1316555},
  crossref  = {DBLP:conf/sigsoft/2007efts},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sigsoft/2007efts,
  editor    = {Nicolas Guelfi and
               Henry Muccini and
               Patrizio Pelliccione and
               Alexander Romanovsky},
  title     = {Proceedings of the 2007 Workshop on Engineering Fault Tolerant
               Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007},
  booktitle = {EFTS},
  publisher = {ACM},
  year      = {2007},
  isbn      = {978-1-59593-725-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}