TY - GEN
AU - Faragó, David
AU - Schmitt, P. H.
TI - Model Checking and Model-Based Testing : Improving Their Feasibility by Lazy Techniques, Parallelization, and Other Optimizations
PB - KIT-Bibliothek, Karlsruhe
KW - parallelization
KW - model-based testing
KW - heuristics
KW - model checking
KW - laziness
KW - DATA processing & computer science
PY - 2016-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