TY - GEN
AU - Beckert, Bernhard
AU - Ulbrich, Mattias
AU - Vogel-Heuser, Birgit
AU - Weigl, Alexander
TI - Regression Verification for Programmable Logic Controller Software
PB - Karlsruher Institut für Technologie
SN - 2190-4782
KW - production systems
KW - symbolic model checking
KW - automated
KW - regression verification
KW - DATA processing & computer science
KW - programmable logic controllers (PLC)
PY - 2015-01-01
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation