BibTeX record conf/iess/NunezPR05

• > Home > conf/iess/NunezPR05

@inproceedings{DBLP:conf/iess/NunezPR05,
  author       = {Manuel N{\'{u}}{\~{n}}ez and
                  Fernando L. Pelayo and
                  Ismael Rodr{\'{\i}}guez},
  editor       = {Achim Rettberg and
                  Mauro Cesar Zanella and
                  Franz J. Rammig},
  title        = {A Formal Methodology to Test Complex Embedded Systems: Application
                  to Interactive Driving Systems},
  booktitle    = {From Specification to Embedded Systems Application [International
                  Embedded Systems Symposium, {IESS} 2005, Manaus, Brazil, August 2005]},
  series       = {{IFIP}},
  volume       = {184},
  pages        = {125--136},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11523277\_13},
  doi          = {10.1007/11523277\_13},
  timestamp    = {Tue, 26 Jun 2018 14:12:07 +0200},
  biburl       = {https://dblp.org/rec/conf/iess/NunezPR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}