AnandVDL06'

BibTeX

@inproceedings{DBLP:conf/isorc/AnandVDL06,
  author    = {Madhukar Anand and
               Steve Vestal and
               Samar Dajani-Brown and
               Insup Lee},
  title     = {Formal Modeling and Analysis of the AFDX Frame Management
               Design},
  booktitle = {ISORC},
  year      = {2006},
  pages     = {393-399},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ISORC.2006.35},
  crossref  = {DBLP:conf/isorc/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/isorc/2006,
  title     = {Ninth IEEE International Symposium on Object-Oriented Real-Time
               Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju,
               Korea},
  booktitle = {ISORC},
  publisher = {IEEE Computer Society},
  year      = {2006},
  isbn      = {0-7695-2561-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}