Innovations in Systems and Software Engineering, Volume 14

Volume 14, Number 1, March 2018

Volume 14, Number 2, June 2018

Special Issue: Verification and Evaluation of Computer and Communication Systems (VECoS 2017)

Volume 14, Number 3, September 2018

Volume 14, Number 4, December 2018

a service of Schloss Dagstuhl - Leibniz Center for Informatics