@inproceedings{TF:2017, Author = {Niels Thole and Goerschwin Fey}, Title = {Empirical Evaluation of a Formal Conservative Analysis to Prove Robustness under Variability.}, Year = {(2017).}, Note = {gfey, CE}, Howpublished = {17-999 TF:2017 TUZ}, Booktitle = {GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)} } @COMMENT{Bibtex file generated on 2024-3-28 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }