Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Regression Verification for Programmable Logic Controller Software

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser und Alexander Weigl
In:17th International Conference on Formal Engineering Methods (ICFEM 2015)
Jahr:2015
PDF:
URL:/improve/plc/
Stichworte: IMPROVE

BibTeX

@InProceedings{BeckertUlbrichEA2015,
  author    = {Bernhard Beckert and Mattias Ulbrich and Birgit Vogel-Heuser and Alexander Weigl},
  title     = {Regression Verification for Programmable Logic Controller Software},
  booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015)},
  month     = nov,
  year      = {2015},
  keywords  = {IMPROVE},
  url       = {/improve/plc/}
}