vecos2012lares.bib

vecos12.bib — BibTeX document, 476 bytes

Dateiinhalt

@inproceedings{MR-MS:VECOS:12,
  author    = {Martin Riedl and
               Markus Siegle},
  title     = "{A LAnguage for REconfigurable dependable Systems: Semantics \& Dependability Model Transformation}",
  booktitle = {Proc.\ 6th International Workshop on Verification and
    Evaluation of Computer and Communication Systems (VECOS'12)},
  year         = {2012},
  month     = aug,
  pages     = {78-89},
  publisher = {British Computer Society},
  series = {eWiC}
}