Leibniz Transactions on Embedded Systems, Volume 4

Volume 4, Number 1, 2017

Regular Papers Special Issue on Quantitative Evaluation of Systems
maintained by Schloss Dagstuhl LZI at University of Trier