DBLP Record 'conf/ifip10-3/KardosZ04'

BibTeX

@inproceedings{DBLP:conf/ifip10-3/KardosZ04,
  author    = {Martin Kardos and
               Yuhong Zhao},
  title     = {Verification Framework for UML-Based Design of Embedded
               Systems},
  booktitle = {DIPES},
  year      = {2004},
  pages     = {21-30},
  crossref  = {DBLP:conf/ifip10-3/2004dipes},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ifip10-3/2004dipes,
  editor    = {Bernd Kleinjohann and
               Guang R. Gao and
               Hermann Kopetz and
               Lisa Kleinjohann and
               Achim Rettberg},
  title     = {Design Methods and Applications for Distributed Embedded
               Systems, IFIP 18th World Computer Congress, TC10 Working
               Conference on Distributed and Parallel Embedded Systems
               (DIPES 2004), 22-27 August 2004, Toulouse, France},
  booktitle = {DIPES},
  publisher = {Kluwer},
  year      = {2004},
  isbn      = {1-4020-8148-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}